Translations:Manual:UserOptions.php/7/it

Usa lo script userOptions.php fornito con MediaWiki per modificare le preferenze per gli utenti esistenti (o per vedere quante di queste differiscono dai tuoi nuovi valori predefiniti).