SpecialFilepath.php

Go to the documentation of this file.

<?php
class SpecialFilepath extends RedirectSpecialPage {
    public function __construct() {
        parent::__construct( 'Filepath' );
        $this->mAllowedRedirectParams = [ 'width', 'height' ];
    }
 
    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' );
        }
        return $redirect;
    }
 
    protected function getGroupName() {
        return 'media';
    }
}