TheDJ has uploaded a new change for review. https://gerrit.wikimedia.org/r/223152
Change subject: editWarning: Declare dependency on user.options ...................................................................... editWarning: Declare dependency on user.options Bug: T102564 Change-Id: Ia4bc7860e6783c1ff9d94a9097c4e19cd34d57f8 (cherry picked from commit 87a051dd0122dcacb7ab6d2ce20b15e477454461) --- M resources/Resources.php 1 file changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/52/223152/1 diff --git a/resources/Resources.php b/resources/Resources.php index 2c0ca9d..feda8a5 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1202,6 +1202,7 @@ 'jquery.textSelection', 'mediawiki.jqueryMsg', 'mediawiki.confirmCloseWindow', + 'user.options', ), 'messages' => array( 'editwarning-warning', @@ -1483,6 +1484,7 @@ 'mediawiki.Title', 'mediawiki.util', 'mediawiki.confirmCloseWindow', + 'user.options', ), ), 'mediawiki.special.userlogin.common.styles' => array( -- To view, visit https://gerrit.wikimedia.org/r/223152 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ia4bc7860e6783c1ff9d94a9097c4e19cd34d57f8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_25 Gerrit-Owner: TheDJ <hartman.w...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits