1f71eccf63
Make phan stricter about null types by setting null_casts_as_any_type to false (the default in mediawiki-phan-config) Remaining false positive issues are suppressed. The suppression and the setting change can only be done together Bug: T242536 Bug: T301991 Change-Id: I0f295382b96fb3be8037a01c10487d9d591e7e01
61 lines
1.8 KiB
PHP
61 lines
1.8 KiB
PHP
<?php
|
|
/**
|
|
* Implements Special:Filepath
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License along
|
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
|
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
* http://www.gnu.org/copyleft/gpl.html
|
|
*
|
|
* @file
|
|
* @ingroup SpecialPage
|
|
*/
|
|
|
|
/**
|
|
* A special page that redirects to the URL of a given file
|
|
*
|
|
* @ingroup SpecialPage
|
|
*/
|
|
class SpecialFilepath extends RedirectSpecialPage {
|
|
public function __construct() {
|
|
parent::__construct( 'Filepath' );
|
|
$this->mAllowedRedirectParams = [ 'width', 'height' ];
|
|
}
|
|
|
|
/**
|
|
* Implement by redirecting through Special:Redirect/file.
|
|
*
|
|
* @param string|null $par
|
|
* @return Title
|
|
*/
|
|
public function getRedirect( $par ) {
|
|
$file = $par ?: $this->getRequest()->getText( 'file' );
|
|
|
|
$redirect = null;
|
|
if ( $file ) {
|
|
$redirect = SpecialPage::getSafeTitleFor( 'Redirect', "file/$file" );
|
|
}
|
|
if ( $redirect === null ) {
|
|
// The user input is empty or an invalid title,
|
|
// redirect to form of Special:Redirect with the invalid value prefilled
|
|
$this->mAddedRedirectParams['wpvalue'] = $file;
|
|
$redirect = SpecialPage::getSafeTitleFor( 'Redirect', 'file' );
|
|
}
|
|
// @phan-suppress-next-line PhanTypeMismatchReturnNullable Known to be valid
|
|
return $redirect;
|
|
}
|
|
|
|
protected function getGroupName() {
|
|
return 'media';
|
|
}
|
|
}
|