MediaWiki:Common.js

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é et sécurité → Effacer les données d’exploration → Images et fichiers en cache.

/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */


$(document).ready(function() {
    // Créer des boutons d'ajustement de la taille des polices
    var increaseFontButton = $('<button>Augmenter la taille du texte</button>').attr('id', 'increaseFont');
    var decreaseFontButton = $('<button>Réduire la taille du texte</button>').attr('id', 'decreaseFont');
    
    // Ajouter les boutons au début du contenu
    $('#mw-content-text').prepend(increaseFontButton, decreaseFontButton);
    
    // Définir une taille de police initiale
    var currentFontSize = 16; // Taille de base
    $('body').css('font-size', currentFontSize + 'px');
    
    // Fonction pour augmenter la taille de la police
    $('#increaseFont').click(function() {
        currentFontSize += 2;
        $('body').css('font-size', currentFontSize + 'px');
    });
    
    // Fonction pour réduire la taille de la police
    $('#decreaseFont').click(function() {
        if (currentFontSize > 10) { // Empêche la taille de devenir trop petite
            currentFontSize -= 2;
            $('body').css('font-size', currentFontSize + 'px');
        }
    });
});


#increaseFont, #decreaseFont {
    background-color: #007bff;
    color: white;
    padding: 5px 10px;
    margin-right: 5px;
    border: none;
    cursor: pointer;
    font-size: 14px;
    border-radius: 4px;
}

#increaseFont:hover, #decreaseFont:hover {
    background-color: #0056b3;
}