diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-08-16 08:22:05 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-08-16 08:22:05 +0200 |
| commit | 1a365e77dfb8825136626202b1df462731b42060 (patch) | |
| tree | 1dc4468eaabf070e051e790a9e67a9a9a2c63d99 /resources/Resources.php | |
| parent | a72fd280f7acb4d2a1ba579a0f1b2b2ae8958530 (diff) | |
Update to MediaWiki 1.25.2
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( |