Resources.php: Add missing dependencies to module 'mediawiki.user'

Change-Id: Ie68418a47d4b4b98fac2b275def392294bd01909

diff --git a/resources/Resources.php b/resources/Resources.php
index f4b4f5e..4c9934d 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -904,6 +904,7 @@ return [
                'dependencies' => [
                        'mediawiki.api',
                        'mediawiki.Title',
+                       'mediawiki.user',
                ],
                'targets' => [ 'desktop', 'mobile' ],
        ],
@@ -1754,6 +1755,7 @@ return [
                'dependencies' => [
                        'oojs',
                        'mediawiki.Uri',
+                       'mediawiki.user',
                ],
        ],
        'mediawiki.rcfilters.filters.ui' => [