Merge "Add dependencies on module 'user.options'"

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',