Translations:Manual:UserOptions.php/7/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).