diff --git a/extension.json b/extension.json index a3778e97..d81a1160 100644 --- a/extension.json +++ b/extension.json @@ -24,7 +24,8 @@ "ext.CodeMirror.other", "mediawiki.api", "jquery.textSelection", - "user.options" + "user.options", + "mediawiki.api.options" ], "scripts": [ "ext.CodeMirror.js"