fix: drop targets and require MediaWiki 1.41

wiki-gg-oss · May 23, 2024 · 5dcc6c8 · 5dcc6c8
1 parent c76bcac
commit 5dcc6c8
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/extension.json b/extension.json
@@ -11,7 +11,7 @@
 	"type": "other",
 
 	"requires": {
-		"MediaWiki": ">= 1.39.0",
+		"MediaWiki": ">= 1.41.0",
 		"platform": {
 			"php": ">= 7.4"
 		}
@@ -46,8 +46,7 @@
 			],
 			"messages": [
 				"themetoggle-skinprefs"
-			],
-			"targets": [ "desktop", "mobile" ]
+			]
 		}
 	},