From: Derk-Jan Hartman <hartman.wiki@gmail.com>
Date: Sun, 5 Jul 2015 20:38:00 +0000 (+0200)
Subject: mediawiki.jqueryMsg: Declare dependency on user.options
X-Git-Tag: 1.31.0-rc.0~10880^2
X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=0ab1e0b26c02f7c46d9078dbc2d3d5f44b46289d;p=lhc%2Fweb%2Fwiklou.git

mediawiki.jqueryMsg: Declare dependency on user.options

Change-Id: I8219a78fdecf6cdc33a677811fd4160cd56a46b7
---

diff --git a/resources/Resources.php b/resources/Resources.php
index 2db3affd6b..b9f31e4a34 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1301,6 +1301,7 @@ return array(
 		'dependencies' => array(
 			'mediawiki.util',
 			'mediawiki.language',
+			'user.options',
 			'dom-level2-shim',
 		),
 		'targets' => array( 'desktop', 'mobile' ),