diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-07-31 06:43:27 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-07-31 06:43:27 +0200 |
commit | 027fc6e70f7f9ce8422d4798fb02e67ff271ae4c (patch) | |
tree | 8163dff509e80309c82051a1095faab9396e280f /resources/Resources.php | |
parent | f80b2307028ed4d9231a0bd46496b241dcf4aa5c (diff) |
Update to MediaWiki 1.22.9
Diffstat (limited to 'resources/Resources.php')
-rw-r--r-- | resources/Resources.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/resources/Resources.php b/resources/Resources.php index 06120008..3b06e1be 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -981,7 +981,11 @@ return array( ), 'mediawiki.page.image.pagination' => array( 'scripts' => 'resources/mediawiki.page/mediawiki.page.image.pagination.js', - 'dependencies' => array( 'jquery.spinner' ) + 'dependencies' => array( + 'mediawiki.Uri', + 'mediawiki.util', + 'jquery.spinner', + ) ), /* MediaWiki Special pages */ |