RJ doesn't want to run some random internet bloke's "experimental" extension on our very important wiki, because he's a grumpy old man
The custom css below is taken from wikimedia/mediawiki-extensions-DarkMode/resources/ext.DarkMode.less
, and has been converted to regular CSS via https://jsonformatter.org/less-to-css
The Javascript is from wikimedia/mediawiki-extensions-DarkMode/resources/ext.DarkMode.js
, with a slight modification to add the link to toggle dark mode through Javascript. The extension does it via MediaWiki hooks, which y'all cant do yourselves
- Log into wiki
- Click "Preferences"
- Click onto the "Appearance" tab
- Click "Custom CSS", edit that page and add the code below
- Click "Custom JS", edit that page and add the code below