Translations:Manual:UserOptions.php/6/fr

Si tous les utilisateurs ont choisi la valeur par défaut pour cette option, le script imprimera rien, à part done.