From 0ab1e0b26c02f7c46d9078dbc2d3d5f44b46289d Mon Sep 17 00:00:00 2001 From: Derk-Jan Hartman Date: Sun, 5 Jul 2015 22:38:00 +0200 Subject: [PATCH] mediawiki.jqueryMsg: Declare dependency on user.options Change-Id: I8219a78fdecf6cdc33a677811fd4160cd56a46b7 --- resources/Resources.php | 1 + 1 file changed, 1 insertion(+) 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' ), -- 2.20.1