From 5dcc6c80dd5ff1a147d85a5b7746d5186fef6d9f Mon Sep 17 00:00:00 2001
From: alex4401 <rylatgl@gmail.com>
Date: Thu, 23 May 2024 14:19:24 +0200
Subject: [PATCH] fix: drop `targets` and require MediaWiki 1.41

---
 extension.json | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/extension.json b/extension.json
index 2e380da..549bdf9 100644
--- 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" ]
+			]
 		}
 	},