Note : après avoir enregistré 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 pressez Ctrl-F5 ou Ctrl-R (⌘-R sur un Mac) ;
  • Google Chrome : Appuyez sur Ctrl-Maj-R (⌘-Shift-R sur un Mac) ;
  • Internet Explorer : Maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5 ;
  • Opera : Allez dans Menu → Settings (Opera → Préférences sur un Mac) et ensuite à Confidentialité & sécurité → Effacer les données d'exploration → Images et fichiers en cache.
( function () {
	mw.hook( 'wikiEditor.toolbarReady' ).add( function ( $textarea ) {
		$textarea.wikiEditor( 'addToToolbar', {
			section: 'advanced',
	        group: 'format',
	        tools: {
	            insertmath: {
	                label: '<math>',
	                type: 'button',
	                icon: '//upload.wikimedia.org/wikipedia/commons/thumb/6/64/Root_x.svg/22px-Root_x.svg.png',
	                action: {
	                    type: 'encapsulate',
	                    options: {
	                		pre: '<math>',
	                        post: '</math>'
	                    }
	                }
	            }
	        }
		} );
	} );
}() );