Utente:Andyrom75/InterProject.js: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
←Nuova pagina: // <nowiki> /** * Workaround for bugzilla:708 via Template:InterProject. * Originally based on code from wikt:de:MediaWiki:Common.js by [[wikt:de:User:M... |
Faccio riferimento al menù strumenti perché presente in tutte le pagine del progetto (a differenza di quello di stampa assente nel pagine dei Template e delle relative discussioni) |
||
Riga 32:
}
var toolBox = document.getElementById('p-
var panel;
if (toolBox) {
|