MediaWiki:Common.js: differenze tra le versioni

Versione delle 20:20, 4 mar 2011

Versione delle 19:45, 5 mar 2011

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);