From 2ba5257e0eb1bdc738b479b3e9c0e7509f4e047b Mon Sep 17 00:00:00 2001
From: RhinosF1 <46229976+RhinosF1@users.noreply.github.com>
Date: Fri, 16 Aug 2019 19:14:11 +0100
Subject: [PATCH] move MyVariables to prod

---
 ManageWikiExtensions.php | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/ManageWikiExtensions.php b/ManageWikiExtensions.php
index 034dfc8aa4..4f944747af 100644
--- a/ManageWikiExtensions.php
+++ b/ManageWikiExtensions.php
@@ -1078,11 +1078,7 @@
 			'linkPage' => 'https://www.mediawiki.org/wiki/Extension:MyVariables',
 			'var' => 'wmgUseMyVariables',
 			'conflicts' => false,
-			'requires' => [
-				'permissions' => [
-					'managewiki-restricted',
-				],
-			],
+			'requires' => [],
 		],
 		'newestpages' => [
 			'name' => 'NewestPages',