diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
| commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
| tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /includes/specials/SpecialFilepath.php | |
| parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) | |
Update to MediaWiki 1.24.1
Diffstat (limited to 'includes/specials/SpecialFilepath.php')
| -rw-r--r-- | includes/specials/SpecialFilepath.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/includes/specials/SpecialFilepath.php b/includes/specials/SpecialFilepath.php index e7ced52a..5860f636 100644 --- a/includes/specials/SpecialFilepath.php +++ b/includes/specials/SpecialFilepath.php @@ -36,7 +36,13 @@ class SpecialFilepath extends RedirectSpecialPage { // implement by redirecting through Special:Redirect/file function getRedirect( $par ) { $file = $par ?: $this->getRequest()->getText( 'file' ); - return SpecialPage::getSafeTitleFor( 'Redirect', 'file/' . $file ); + + if ( $file ) { + $argument = "file/$file"; + } else { + $argument = 'file'; + } + return SpecialPage::getSafeTitleFor( 'Redirect', $argument ); } protected function getGroupName() { |