MediaWiki:Common.js: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 22: | Line 22: | ||
} | } | ||
applyDarkMode(); | // applyDarkMode(); | ||
overrideSourceEdit(); | overrideSourceEdit(); |
Revision as of 14:42, 16 February 2023
function overrideSourceEdit() {
var sourceEdit = document.getElementById('ca-edit');
if (sourceEdit) {
var url = sourceEdit.getAttribute('href');
sourceEdit.setAttribute('href', url.split('§ion')[0]);
}
}
function getDarkModePreference() {
return window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches;
}
function applyDarkMode() {
var body = document.querySelector('body');
if (getDarkModePreference()) {
if (!body.classList.contains('dark-mode')) { body.classList.add('dark-mode'); }
document.documentElement.setAttribute('theme', 'dark');
} else {
if (body.classList.contains('dark-mode')) { body.classList.remove('dark-mode'); }
document.documentElement.setAttribute('theme', 'light');
}
}
// applyDarkMode();
overrideSourceEdit();