search

wikimedia-gadgets / MoreMenu

The missing navigation system for MediaWiki
https://meta.wikimedia.org/wiki/Special:MyLanguage/MoreMenu
MIT License
7 stars 13 forks source link

Dark mode support #52

Closed pppery closed 1 week ago

pppery commented 1 month ago

Per request at https://meta.wikimedia.org/wiki/MediaWiki_talk:Gadget-MoreMenu.js

nacaru-w commented 1 month ago

@pppery the correction should also apply to users using the vector-2022 version of the tool's CSS, so the change should also be applied in line 428 here.

pppery commented 1 month ago

Thanks. Done.

nacaru-w commented 3 weeks ago

@MusikAnimal do you have a moment to merge this and transclude it on its meta page?

MusikAnimal commented 1 week ago

Sorry for taking so long to get to this! I'll get this deployed today. Thanks @pppery for the PR :)