From 2837cfb40025d3772d8798ba59c7700326493e1c Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Tue, 9 Feb 2016 10:38:22 -0800
Subject: [PATCH] ext.visualEditor.desktopArticleTarget.init: Depend on
 mediawiki.user too

Change-Id: I8df684ae582a2caef051a04ee99b9f518ecf567a
---
 extension.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extension.json b/extension.json
index dc94409537..454f8cfa0e 100644
--- a/extension.json
+++ b/extension.json
@@ -270,6 +270,7 @@
 				"mediawiki.page.startup",
 				"mediawiki.Title",
 				"mediawiki.Uri",
+				"mediawiki.user",
 				"mediawiki.util",
 				"mediawiki.api.options",
 				"user.options",