Mediawiki

Questa pagina contiene alcune informazioni interessanti su MediaWiki, che principalmente ci sono tornate utili per la manutenzione della nostra istanza.

Modificare dominio

Utile quando si deve cambiare il dominio, per esempio quando si devono fare delle prove ripristinando un backup nell'ambiente di test.

Modificare il file LocalSettings.php sostituendo il dominio:

$wgServer = 'http://127.0.0.1:7050';

Modificare MediaWiki:Common.css

Per gli stili globali (per esempio, per i template del wiki).

Modificare il file LocalSettings.php per consentire la modifica della pagina in questione agli utenti loggati.

$wgGroupPermissions['user']['editinterface'] = true;
$wgGroupPermissions['user']['editsitecss'] = true;

Si consiglia di rimuovere i permessi non appena terminate le modifiche.