« MediaWiki:Gadget-Typo.js » : différence entre les versions
Contenu supprimé Contenu ajouté
m éviter l'utilisation du gadget typo sur les PdD, wikisource:* et mediawiki:* pour éviter de démolir les signatures et templates. |
ne pas supprimer l'espace avant … s'il y a autre chose qu'une lettre |
||
Ligne 128 :
str = str.replace(/(…\. )+/g, "… ");
str = str.replace(/([a-z\u0100-\u017F\u0180-\u024F])( …)+/g, "
str = str.replace(/‘/g, "’");
|