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

Version du 22 juillet 2025 à 14:22

/* 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');
mw.loader.using('user', function () {
    document.addEventListener('copy', function (e) {
        const selection = window.getSelection().toString();
        const copyrightNotice = '\n\n— Source : WikiMetz, l'encyclopédie historique de Metz (https://www.wikimetz.fr)';
        const copyText = selection + copyrightNotice;

        e.preventDefault();

        if (e.clipboardData) {
            e.clipboardData.setData('text/plain', copyText);
        } else if (window.clipboardData) {
            window.clipboardData.setData('Text', copyText);
        }
    });
});