Add ThemeToggle to ManageWiki

miraheze · Jan 14, 2025 · de01365 · de01365
1 parent 2575ddd
commit de01365
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/ManageWikiExtensions.php b/ManageWikiExtensions.php
@@ -3247,6 +3247,13 @@
 		'requires' => [],
 		'section' => 'other',
 	],
+	'themetoggle' => [
+		'name' => 'ThemeToggle',
+		'linkPage' => 'https://www.mediawiki.org/wiki/Extension:ThemeToggle',
+		'conflicts' => false,
+		'requires' => [],
+		'section' => 'other',
+	],
 	'thanks' => [
 		'name' => 'Thanks',
 		'linkPage' => 'https://www.mediawiki.org/wiki/Special:MyLanguage/Extension:Thanks',