From e2d79e80449d7db7ac61401ef55451aaadd49b31 Mon Sep 17 00:00:00 2001
From: Kunal Mehta <legoktm@member.fsf.org>
Date: Sat, 9 Jun 2018 00:21:01 -0700
Subject: [PATCH] Don't use deprecated `mediawiki.api.options`

It was merged into `mediawiki.api`.

Bug: T196802
Change-Id: Id8c7baafbb0bb334d2099af39db7455ad4c1e92b
---
 extension.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/extension.json b/extension.json
index da8931fdd..3c0ab2d6d 100644
--- a/extension.json
+++ b/extension.json
@@ -27,6 +27,9 @@
 	"descriptionmsg": "multimediaviewer-desc",
 	"license-name": "GPL-2.0-or-later",
 	"type": "other",
+	"requires": {
+		"MediaWiki": ">= 1.32.0"
+	},
 	"ExtensionFunctions": [
 		"MultimediaViewerHooks::onExtensionFunctions"
 	],
@@ -343,7 +346,6 @@
 			],
 			"dependencies": [
 				"mediawiki.api",
-				"mediawiki.api.options",
 				"mediawiki.ui.button",
 				"mediawiki.ui.icon",
 				"mediawiki.Title",