Wiktionnaire : dictionnaire libre et universel

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

Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
ThomasV (discussion | contributions)
11 modifications
Aucun résumé des modifications
ThomasV (discussion | contributions)
11 modifications
Aucun résumé des modifications
Ligne 7 :
function keycheck() {
tb = document.getElementById("wpTextbox1")
if( tb && (wgNamespagewgNamespaceNumber==104 || wgNamespagewgNamespaceNumber==0 ||wgNamespagewgNamespaceNumber==102) ) {
 
tb.onkeyup=function(e) {
Récupérée de « https://fr.wiktionary.org/wiki/MediaWiki:Gadget-specialchars.js »