SpecialPageInfo.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Specials;
 
use MediaWiki\SpecialPage\SpecialRedirectWithAction;
use SearchEngineFactory;
 
class SpecialPageInfo extends SpecialRedirectWithAction {
 
    public function __construct(
        SearchEngineFactory $searchEngineFactory
    ) {
        parent::__construct( 'PageInfo', 'info', 'pageinfo', $searchEngineFactory );
    }
 
    // Messages, for grep:
    // specialpageinfo-page
    // specialpageinfo-submit
}
 
class_alias( SpecialPageInfo::class, 'SpecialPageInfo' );