Implement extension registration from an extension.json file
[mediawiki.git] / includes / specials / SpecialFilepath.php
blob93232117e17495e3ec61cb4b8a4fa27d55156c81
1 <?php
2 /**
3 * Implements Special:Filepath
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.
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.
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
20 * @file
21 * @ingroup SpecialPage
24 /**
25 * A special page that redirects to the URL of a given file
27 * @ingroup SpecialPage
29 class SpecialFilepath extends RedirectSpecialPage {
30 function __construct() {
31 parent::__construct( 'Filepath' );
32 $this->mAllowedRedirectParams = array( 'width', 'height' );
35 // implement by redirecting through Special:Redirect/file
36 function getRedirect( $par ) {
37 $file = $par ?: $this->getRequest()->getText( 'file' );
39 if ( $file ) {
40 $argument = "file/$file";
41 } else {
42 $argument = 'file';
44 return SpecialPage::getSafeTitleFor( 'Redirect', $argument );
47 protected function getGroupName() {
48 return 'media';