« MediaWiki:Common.js » : différence entre les versions
Contenu supprimé Contenu ajouté
m ajout, sur requête ded Sniff, copié-collé depuis WP |
m je ne garantis pas que ça fonctionne : on révoquera si qq chose ne marche plus |
||
Ligne 1 313 :
var realTitle = document.getElementById('RealTitle');
var h1 = document.getElementById('firstHeading');
var realH1 =
if (realTitle && h1) {
var titleText = realTitle.innerHTML;
Ligne 1 331 :
}
addOnloadHook(rewritePageH1);
|