]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - includes/specials/SpecialFilepath.php
MediaWiki 1.30.2-scripts
[autoinstalls/mediawiki.git] / includes / specials / SpecialFilepath.php
1 <?php
2 /**
3  * Implements Special:Filepath
4  *
5  * This program is free software; you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License as published by
7  * the Free Software Foundation; either version 2 of the License, or
8  * (at your option) any later version.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License along
16  * with this program; if not, write to the Free Software Foundation, Inc.,
17  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18  * http://www.gnu.org/copyleft/gpl.html
19  *
20  * @file
21  * @ingroup SpecialPage
22  */
23
24 /**
25  * A special page that redirects to the URL of a given file
26  *
27  * @ingroup SpecialPage
28  */
29 class SpecialFilepath extends RedirectSpecialPage {
30         public function __construct() {
31                 parent::__construct( 'Filepath' );
32                 $this->mAllowedRedirectParams = [ 'width', 'height' ];
33         }
34
35         /**
36          * Implement by redirecting through Special:Redirect/file.
37          *
38          * @param string|null $par
39          * @return Title
40          */
41         public function getRedirect( $par ) {
42                 $file = $par ?: $this->getRequest()->getText( 'file' );
43
44                 if ( $file ) {
45                         $argument = "file/$file";
46                 } else {
47                         $argument = 'file';
48                 }
49                 return SpecialPage::getSafeTitleFor( 'Redirect', $argument );
50         }
51
52         protected function getGroupName() {
53                 return 'media';
54         }
55 }