MediaWiki:Gadget-CaracteresHTML.js

Note : après avoir publié vos modifications, il se peut que vous deviez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Firefox / Safari : maintenez la touche Maj (Shift) en cliquant sur le bouton Actualiser ou appuyez sur Ctrl + F5 ou Ctrl + R (⌘ + R sur un Mac).
Google Chrome : appuyez sur Ctrl + Maj + R (⌘ + Shift + R sur un Mac).
Internet Explorer / Edge : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl + F5.
Opera : appuyez sur Ctrl + F5.

/**
 * HTML
 * 
 * Ajoute les tags et entités HTML courants dans la liste des caractères spéciaux
 * 
 * Auteur : Zelda
 */

$(function() {
  if (mw.config.get('wgAction') == 'edit' || mw.config.get('wgAction') == 'submit') {
     addSpecialCharset("HTML", "&lt;br/&gt; &lt;code&gt;+&lt;/code&gt; &lt;div&gt;+&lt;/div&gt; &lt;p&gt;+&lt;/p&gt; &lt;pre&gt;+&lt;/pre&gt; &lt;q&gt;+&lt;/q&gt; &lt;tt&gt;+&lt;/tt&gt; &lt;s&gt;+&lt;/s&gt; &lt;sub&gt;+&lt;/sub&gt; &lt;sup&gt;+&lt;/sup&gt; &lt;span&gt;+&lt;/span&gt; &amp;nbsp;");
 }
});