MediaWiki:Common.js: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m completo fix
rimpiazzo codice deprecato
Riga 6:
if (wgTitle == "Pagina principale" && top !=self) top.___location.replace('http://toolserver.org/~pietrodn/wikipedia_redirect.php');
 
//DEPRECATO
// BEGIN Enable multiple onload functions
 
// setup onload functions this way:
// aOnloadFunctions[aOnloadFunctions.length] = function_name; // without brackets!
 
if (!window.aOnloadFunctions) {
var aOnloadFunctions = new Array();
}
 
window.onload = function() {
if (window.aOnloadFunctions) {
for (var _i=0; _i<aOnloadFunctions.length; _i++) {
aOnloadFunctions[_i]();
}
}
}
 
// END Enable multiple onload functions
 
 
function addLoadEvent(func)
{
Riga 234 ⟶ 215:
}
 
aOnloadFunctions[aOnloadFunctionsjQuery(document).length] = ready(createNavigationBarToggleButton);
 
// END Dynamic Navigation Bars