« MediaWiki:Gadget-specialchars.js » : différence entre les versions

Contenu supprimé Contenu ajouté
ThomasV (discussion | contributions)
Aucun résumé des modifications
ThomasV (discussion | contributions)
activation sur tous les namespaces sauf MediaWiki:
Ligne 7 :
function keycheck() {
tb = document.getElementById("wpTextbox1")
if( tb && (wgNamespaceNumber!==104 || wgNamespaceNumber==0 ||wgNamespaceNumber==102)8 ) {
 
tb.onkeyup=function(e) {