wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Explicitly declare mediawiki.api.options module dependency

Browse source 
Change-Id: Ie1915e6c0d0671d7f3327d0ad80542ca967dab98
This commit is contained in:
Kaldari 2017-03-26 22:26:49 -07:00
parent 3980fa0af0
commit fe11d52eaa
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -24,7 +24,8 @@
"ext.CodeMirror.other",
"mediawiki.api",
"jquery.textSelection",
"user.options"
"user.options",
"mediawiki.api.options"
],
"scripts": [
"ext.CodeMirror.js"