MediaWiki REL1_35
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}