diff options
Diffstat (limited to 'resources/Resources.php')
| -rw-r--r-- | resources/Resources.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/resources/Resources.php b/resources/Resources.php index 2c0ca9d9..feda8a53 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1202,6 +1202,7 @@ return array( 'jquery.textSelection', 'mediawiki.jqueryMsg', 'mediawiki.confirmCloseWindow', + 'user.options', ), 'messages' => array( 'editwarning-warning', @@ -1483,6 +1484,7 @@ return array( 'mediawiki.Title', 'mediawiki.util', 'mediawiki.confirmCloseWindow', + 'user.options', ), ), 'mediawiki.special.userlogin.common.styles' => array( |