wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-27 16:40:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add dependency on module 'mediawiki.user'

Browse source 
jquery.codeEditor.js uses mw.user.isAnon().

Change-Id: I2dd2219bf241a67aefa46efa8f552dea56b3b67d
This commit is contained in:
Fomafix 2017-06-13 07:22:45 +02:00
parent cd3b0d91cf
commit 7ba602a39a
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

@ -55,6 +55,7 @@
"jquery.ui.resizable",
"mediawiki.api",
"mediawiki.api.options",
"mediawiki.user",
"user.options",
"mediawiki.cookie",
"jquery.textSelection",