Translations:Manual:UserOptions.php/1/en

Use the userOptions.php script provided with MediaWiki to change the options for existing users (or see how many are differing from your new defaults).