« MediaWiki:Gadget-specialchars.js » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
activation sur tous les namespaces sauf MediaWiki: |
||
Ligne 7 :
function keycheck() {
tb = document.getElementById("wpTextbox1")
if( tb &&
tb.onkeyup=function(e) {
|