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
activation sur tous les namespaces sauf MediaWiki:
ThomasV (discussion | contributions)
11 modifications
Aucun résumé des modifications
Ligne 27 :
} else switch(m) {
case "^s" : m = "ſ"; break;
case "oe" : m if(m3[0]!='p') m="œ"; else todo=false; break;
case "ae" : m = "æ"; break;
case "OE" : m = "Œ"; break;
Récupérée de « https://fr.wiktionary.org/wiki/MediaWiki:Gadget-specialchars.js »