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

Dernière version du 10 juin 2025 à 11:13

/* Tout JavaScript présent ici sera exécuté par tous les utilisateurs à chaque chargement de page. */

@@ Ligne 1 : / Ligne 1 : @@
 /* Tout JavaScript présent ici sera exécuté par tous les utilisateurs à chaque chargement de page. */
-mw.loader.using('mediawiki.util', function() {
-  var root = document.documentElement;
-  root.style.setProperty('--background-color-base', '#000', 'important');
-  root.style.setProperty('--background-color-neutral-subtle', '#111', 'important');
-  root.style.setProperty('--background-color-page-container', '#000', 'important');
-  root.style.setProperty('--color-base', '#fff', 'important');
-  document.body.style.background = '#000';
-  document.body.style.color = '#fff';
-});