« MediaWiki:Gadget-specialchars.js » : différence entre les versions
Contenu supprimé Contenu ajouté
Nouvelle page : →Replacement de certains caractères spéciaux lors de l'édition Auteur: ThomasV : function keycheck() { tb = document.getElementById("wpTextbox1") if(tb) { tb.onke... |
Aucun résumé des modifications |
||
Ligne 1 :
/*
Replacement de certains caractères spéciaux lors de l'édition
Uniquement sous firefox.
Auteur: ThomasV
*/
Ligne 6 ⟶ 7 :
function keycheck() {
tb = document.getElementById("wpTextbox1")
if( tb && (wgNamespage==104 || wgNamespage==0 ||wgNamespage==102) ) {
tb.onkeyup=function(e) {
var key = (window.event) ? event.keyCode : e.keyCode;
| |||