Translations:Manual:UserOptions.php/7/es

El script userOptions.php proporcionado con MediaWiki sirve para cambiar las opciones para los usuarios ya existentes, o para ver cuántas opciones difieren de los nuevos valores predeterminados que hayas podido establecer.