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

Merge "Add dependency to module 'mediawiki.user'"

Browse source
This commit is contained in:
jenkins-bot 2017-08-24 16:37:25 +00:00 committed by Gerrit Code Review
parent a676e88ced 93844520cc
commit a997fd8f36
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -30,6 +30,7 @@
"jquery.textSelection",
"mediawiki.api",
"mediawiki.api.options",
"mediawiki.user",
"user.options",
"oojs-ui-widgets",
"mediawiki.storage"