MediaWiki:Common.js: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m vari piccoli fix
rimetto a disposizione funzione globale, è usata da un gadget
Riga 65:
// </nowiki>An element with id=DisableRealTitle disables the function.
var disableRealTitle = 0; // users can disable this by making this true from their user script
$(function correctTitle() {
try {
var realTitleBanner = document.getElementById("RealTitleBanner");
Riga 88:
/* Something went wrong. */
}
});
 
$(correctTitle);