SpecialPageHistory.php

Go to the documentation of this file.

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