MediaWiki/La toolbar di modifica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 4:
{{...}}
 
E' possibile aggiungere dei bottoni extra nella parte alta della pagina di edit, che aggiungono funzionalità alla "bottoniera"già presente e permettono quindi di velocizzare l'attività nel modificare le voci.
<br />
 
La procedura è la seguente:
 
Per prima cosa è necessario abilitare gli utenti all'uso di Javascript, inserendo nel file LocalSettings.php questa stringa:
 
<pre>
$wgAllowUserJS = true;
</pre>
 
Poi creiamo un utente fittizio di nome "MarkS"
 
Ora ci autentichiamo come utente MarkS e copiamo questo file
 
http://en.wikipedia.org/wiki/User:MarkS/extraeditbuttons.js
 
e questo
 
http://en.wikipedia.org/wiki/User:MarkS/XEB/live.css
 
nelle corrispondenti pagine del nuovo utente.
 
Modifichiamo il file Monobook.php nella cartella skins, aggiungendo questa stringa:
<pre>
<script type="text/javascript"
src="/index.php?title=Utente:MarkS/extraeditbuttons.js&action=raw&ctype=text/javascript&dontcountme=s"></script>
</pre>
subito prima della riga
<pre>
</head>
</pre>
 
modificando opportunamente il percorso in base all'installazione del proprio wiki.
Ad esempio, se il wiki è stato installato nella cartella "miowiki" anzichè nella root dello spazio web, la riga andrà modificata cosi:
<pre>
<script type="text/javascript"
src="/miowiki/index.php?title=Utente:MarkS/extraeditbuttons.js&action=raw&ctype=text/javascript&dontcountme=s"></script>
</pre>
 
A questo punto, ed eventualmente dopo aver pulito la cache del browser, i bottoncini diventeranno visibili.
 
<br /><br />
'''Istruzioni''' piu dettagliate, su MediaWiki.