2008-10-02 21 views

Respuesta

12

crear un nuevo grupo, añadir darle privilegio "editinterface". En LocalSettings.php se hace así:

$wgGroupPermissions['mynewgroup']['editinterface'] = true; 

A continuación, agregue el usuario a su nuevo grupo.

O si se quiere dar ese derecho a todos los usuarios registrados en, hacerlo de esta manera:

$wgGroupPermissions['user']['editinterface'] = true; 
// user is the default group for all logged-in users 

Para más detalles ver MediaWiki manual.

0

Probablemente más seguro de usar;

$wgAllowUserCss = true; 

See Mediawiki Manual para los detalles completos.

"Cuando está habilitado, los usuarios pueden realizar personalizaciones personalizadas además de la opción normal de máscaras dentro de la pantalla de 'preferencias'."

Una configuración similar está disponible para Javascript.

Cuestiones relacionadas