Add missing dependency on module 'mediawiki.user'

Change-Id: Ia4f2a742e0313dc14839a3eed91fca230e2c407f
2017-06-13 18:10:13 +02:00
parent a0fe3c2249
commit 33668c9145
1 changed files with 3 additions and 1 deletions
--- a/extension.json
+++ b/extension.json
@@ -121,7 +121,8 @@
 				"ext.uls.webfonts",
 				"mediawiki.api.parse",
 				"mediawiki.ui.checkbox",
-				"mediawiki.ui.button"
+				"mediawiki.ui.button",
+				"mediawiki.user"
 			],
 			"localBasePath": "resources",
 			"remoteExtPath": "UniversalLanguageSelector/resources"
@@ -165,6 +166,7 @@
 				"mediawiki.api",
 				"mediawiki.api.options",
 				"mediawiki.cookie",
+				"mediawiki.user",
 				"jquery.uls.data"
 			],
 			"position": "top",