Don't use deprecated mediawiki.api.options

It was merged into `mediawiki.api`.

Bug: T196802
Change-Id: Id8c7baafbb0bb334d2099af39db7455ad4c1e92b
This commit is contained in:
Kunal Mehta 2018-06-09 00:21:01 -07:00
parent 27c8c196f6
commit e2d79e8044

View file

@ -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",