From 75c6d5dd1812132a9f86812ed859bf890f876601 Mon Sep 17 00:00:00 2001
From: Fomafix <fomafix@googlemail.com>
Date: Wed, 28 Jun 2017 13:25:51 +0200
Subject: [PATCH] Add missing dependencies

resources/dist/index.js uses mw.user.generateRandomSessionId.

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

diff --git a/extension.json b/extension.json
index d1cbca13e..61da6eec0 100644
--- a/extension.json
+++ b/extension.json
@@ -112,6 +112,7 @@
 				"mediawiki.ui.button",
 				"mediawiki.ui.icon",
 				"mediawiki.Uri",
+				"mediawiki.user",
 				"jquery.hidpi"
 			]
 		}