Translations:Manual:$wgDefaultUserOptions/143/fr

De nouveaux paramètres sont ajoutés pérodiquement à MediaWiki. Certains de ces paramètres ont été ajoutés depuis que $wgDefaultUserOptions a été introduit dans la v1.4.0. Actuellement aucune documentation ne précise quand des paramètres ont été ajoutés.