From 89dd1f7c93e809d11e68b5f804179587b7e87ff6 Mon Sep 17 00:00:00 2001 From: Fomafix Date: Thu, 6 Dec 2018 20:52:24 +0100 Subject: [PATCH] Add dependencies on module 'user.options' This change adds missing dependencies on the module 'user.options' where the user options get requested via mw.user.options. Change-Id: I63faaba4b286837cc4e3656d14ea1b255bbf32a6 --- resources/Resources.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resources/Resources.php b/resources/Resources.php index d12f89d4a2..317385d15e 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1181,6 +1181,7 @@ return [ 'jquery.suggestions', 'jquery.getAttrs', 'mediawiki.api', + 'user.options', ], ], 'mediawiki.storage' => [ @@ -1786,6 +1787,7 @@ return [ 'mediawiki.jqueryMsg', 'mediawiki.Uri', 'mediawiki.user', + 'user.options', ], 'messages' => [ 'quotation-marks', -- 2.20.1