SpecialPageHistory.php

Go to the documentation of this file.

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