MediaWiki:Common.js
Note : après avoir publié 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 appuyez sur Ctrl + F5 ou Ctrl + R (⌘ + R sur un Mac).
- Google Chrome : appuyez sur Ctrl + Maj + R (⌘ + Shift + R sur un Mac).
- Edge : maintenez la touche Ctrl en cliquant sur le bouton Actualiser ou pressez Ctrl + F5.
javascript
( function () {
'use strict';
var THEMES = [ 'space', 'terminal' ];
var KEY = 'emush-theme';
// Read the stored theme, falling back to the first one
function current() {
try {
var s = localStorage.getItem( KEY );
if ( s && THEMES.indexOf( s ) !== -1 ) { return s; }
} catch ( e ) {}
return THEMES[ 0 ];
}
// Swap the view-* class on <html> and persist the choice
function apply( theme ) {
var root = document.documentElement;
THEMES.forEach( function ( t ) { root.classList.remove( 'view-' + t ); } );
root.classList.add( 'view-' + theme );
try { localStorage.setItem( KEY, theme ); } catch ( e ) {}
}
// The link already exists in the HTML — only bind the click
$( function () {
var li = document.getElementById( 'pt-themetoggle' );
if ( !li ) { return; }
li.addEventListener( 'click', function ( e ) {
e.preventDefault();
apply( current() === 'space' ? 'terminal' : 'space' );
} );
} );
}() );