« MediaWiki:Common.js » : différence entre les versions

Version du 22 juillet 2025 à 14:20

/* Tout JavaScript présent ici sera exécuté par tous les utilisateurs à chaque chargement de page. */
mw.loader.load('/maps/leaflet/leaflet.js', 'text/javascript');


document.addEventListener('copy', function (e) {
    const selection = window.getSelection().toString();
    const pageUrl = document.location.href;
    const copyrightNotice = '\n\n— Source : WikiMetz, l'encyclopédie historique de Metz (https://www.wikimetz.fr)';

    // Crée un nouveau fragment avec le texte sélectionné + notice
    const copyText = selection + copyrightNotice;

    // Empêche le comportement par défaut
    e.preventDefault();

    // Met le texte modifié dans le presse-papiers
    if (e.clipboardData) {
        e.clipboardData.setData('text/plain', copyText);
    } else if (window.clipboardData) { // Pour Internet Explorer (très rare aujourd'hui)
        window.clipboardData.setData('Text', copyText);
    }
});