SpecialPageHistory.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Specials;
 
use MediaWiki\SpecialPage\SpecialRedirectWithAction;
use SearchEngineFactory;
 
class SpecialPageHistory extends SpecialRedirectWithAction {
 
    public function __construct(
        SearchEngineFactory $searchEngineFactory
    ) {
        parent::__construct( 'PageHistory', 'history', 'pagehistory', $searchEngineFactory );
    }
 
    // Messages, for grep:
    // specialpagehistory-page
    // specialpagehistory-submit
}
 
class_alias( SpecialPageHistory::class, 'SpecialPageHistory' );