editWarning: Declare dependency on user.options

Bug: T102564
Change-Id: Ia4bc7860e6783c1ff9d94a9097c4e19cd34d57f8

diff --git a/resources/Resources.php b/resources/Resources.php
index 2db3aff..b195211 100644 (file)
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1233,6 +1233,7 @@ return array(
                        'jquery.textSelection',
                        'mediawiki.jqueryMsg',
                        'mediawiki.confirmCloseWindow',
+                       'user.options',
                ),
                'messages' => array(
                        'editwarning-warning',
@@ -1523,6 +1524,7 @@ return array(
                        'mediawiki.Title',
                        'mediawiki.util',
                        'mediawiki.confirmCloseWindow',
+                       'user.options',
                ),
        ),
        'mediawiki.special.userlogin.common.styles' => array(