Translations:Manual:UserOptions.php/7/fr

Utilisez le script userOptions.php fourni avec MediaWiki pour modifier les options pour les utilisateurs existants (ou voir ceux qui sont différents de vos nouvelles valeurs par défaut).