Utilisateur:Supertoff/editeurdefiltre.js

Note : après avoir enregistré la page, vous devrez forcer le rechargement complet du cache de votre navigateur pour voir les changements.

Mozilla / Firefox / Konqueror / Safari : maintenez la touche Majuscule (Shift) en cliquant sur le bouton Actualiser (Reload) ou pressez Maj-Ctrl-R (Cmd-R sur Apple Mac) ;

Firefox (sur GNU/Linux) / Chrome / Internet Explorer / Opera : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl-F5.
if ( mw.config.get( 'wgCanonicalSpecialPageName' ) === 'AbuseFilter' ) {
    $( function ( $ ) {
        var elm = document.getElementById( 'wpAceFilterEditor' );
        if ( !elm ) {
            return;
        }

        if ( typeof ace === 'undefined' ) {
            return; // simple sécurité
        }
        if ( typeof ResizeObserver === 'undefined' ) {
            return; // ResizeObserver n'est pas implémenté dans IE 11
        }

        elm.style.resize = 'both';

        var editor = ace.edit( elm );

        // pour que la mise à jour de la taille de l'éditeur (notamment les scrollbars) se fasse aussi
        // quand on le redimensionne, et pas seulement quand la fenêtre du navigateur est redimensionnée
        new ResizeObserver( function () {
            editor.resize();
        } ).observe( elm );
    } );
}