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-coll-print_exporttb');
var panel;
if (toolBox) {