2008-10-02 10 views

Répondre

12

Créer un nouveau groupe, ajoutez lui donner le privilège "de editinterface". Dans LocalSettings.php, il est fait comme ceci:

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

Ensuite, ajoutez l'utilisateur à votre nouveau groupe.

Ou si vous voulez donner ce droit à tous les utilisateurs connectés, le faire comme ceci:

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

Pour plus de détails voir MediaWiki manual.

0

Probablement plus sûr à utiliser;

$wgAllowUserCss = true; 

See Mediawiki Manual pour les détails complets.

"Lorsque cette option est activée, les utilisateurs peuvent effectuer des personnalisations personnalisées en plus du choix normal des enveloppes dans l'affichage" préférences "."

Un réglage similaire est disponible pour Javascript.