MediaWiki:Common.js: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
annullo (v. discussione) |
Annullata la modifica 38618940 di Salvatore Ingala (discussione): ripeto ultime modifiche, i problemi non erano correlati |
||
Riga 6:
if (wgTitle == "Pagina principale" && top !=self) top.___location.replace('http://toolserver.org/~pietrodn/wikipedia_redirect.php');
//DEPRECATO
function addLoadEvent(func)
{
Riga 234 ⟶ 215:
}
// END Dynamic Navigation Bars
Riga 343 ⟶ 324:
node.className = eregReplace('(^|\\s+)'+ className +'($|\\s+)', ' ', node.className);
return true;
}
Riga 361 ⟶ 338:
document.getElementById('catlinks').innerHTML = ahc + cl.innerHTML;
}
else if(
{
var ahc = ' | <a onclick="javascript:toggleHiddenCats();" id="mw-hidden-cats-link" style="cursor:pointer; color:#002BB8;" title="Questa voce contiene categorie nascoste">[<span style="font-style:italic;">altre</span>]</a>';
Riga 370 ⟶ 347:
{
var hc = document.getElementById('mw-hidden-catlinks');
if(
{
removeClass(hc, 'mw-hidden-cats-hidden');
Riga 481 ⟶ 458:
* paramName : the name of the parameter to extract
*/
//DEPRECATO
function getURLParamValue(
return mw.util.getParamValue(param, url);
}
|