Translations:Manual:$wgDefaultUserOptions/132/en

Extension:WikiEditor (packaged with MediaWiki 1.18+)