Update preferences_example.php