editWarning: Declare dependency on user.options

Bug: T102564
Change-Id: Ia4bc7860e6783c1ff9d94a9097c4e19cd34d57f8
This commit is contained in:
Derk-Jan Hartman 2015-07-05 22:34:53 +02:00 committed by TheDJ
parent db9ca7ad9c
commit 87a051dd01

View file

@ -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(