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

Change-Id: Iac3070adc36533ae046f57ecc7c772247b42420d

diff --git a/resources/Resources.php b/resources/Resources.php
index ad83632..f4b4f5e 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1148,7 +1148,10 @@ return [
                        'default' => 'resources/src/mediawiki/mediawiki.notification.css',
                ],
                'scripts' => 'resources/src/mediawiki/mediawiki.notification.js',
-               'dependencies' => 'mediawiki.page.startup',
+               'dependencies' => [
+                       'mediawiki.page.startup',
+                       'mediawiki.util',
+               ],
                'targets' => [ 'desktop', 'mobile' ],
        ],
        'mediawiki.notify' => [
@@ -1713,6 +1716,7 @@ return [
                'dependencies' => [
                        'mediawiki.api.rollback',
                        'mediawiki.notify',
+                       'mediawiki.util',
                        'jquery.spinner',
                ],
                'messages' => [
@@ -1857,6 +1861,7 @@ return [
                'dependencies' => [
                        'mediawiki.api',
                        'mediawiki.jqueryMsg',
+                       'mediawiki.util',
                        'oojs-ui',
                        'mediawiki.widgets.datetime',
                ],
@@ -2432,6 +2437,7 @@ return [
                        'oojs-ui-widgets',
                        'mediawiki.ForeignApi',
                        'mediawiki.Title',
+                       'mediawiki.util',
                ],
                'messages' => [
                        'mw-widgets-mediasearch-noresults',