MediaWiki  master
SpecialPageHistory.php
Go to the documentation of this file.
1 <?php
25  public function __construct() {
26  parent::__construct( 'PageHistory', 'history', 'pagehistory' );
27  }
28 
29  // Messages, for grep:
30  // specialpagehistory-page
31  // specialpagehistory-submit
32 }
SpecialRedirectWithAction
Definition: SpecialRedirectWithAction.php:26
SpecialPageHistory
Definition: SpecialPageHistory.php:24
SpecialPageHistory\__construct
__construct()
Definition: SpecialPageHistory.php:25