Translations:Manual:UserOptions.php/6/en

If all users have the default value for that option set, the script will print nothing except done.