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

ext.visualEditor.desktopArticleTarget.init: Depend on mediawiki.user too

Browse source 
Change-Id: I8df684ae582a2caef051a04ee99b9f518ecf567a
This commit is contained in:
James D. Forrester 2016-02-09 10:38:22 -08:00
parent d5f6c220d3
commit 2837cfb400
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

@ -270,6 +270,7 @@
"mediawiki.page.startup",
"mediawiki.Title",
"mediawiki.Uri",
"mediawiki.user",
"mediawiki.util",
"mediawiki.api.options",
"user.options",