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

diff --git a/resources/Resources.php b/resources/Resources.php
index d12f89d..317385d 100644 (file)
--- 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',