Code Coverage for /workspace/src/includes/Specials/SpecialPageHistory.php

1	<?php
2	/**
3	* @license GPL-2.0-or-later
4	* @file
5	*/
6
7	namespace MediaWiki\Specials;
8
9	use MediaWiki\Search\SearchEngineFactory;
10	use MediaWiki\SpecialPage\SpecialRedirectWithAction;
11
12	/**
13	* Redirect from Special:History/$1 to index.php?title=$1&action=history.
14	*
15	* @ingroup SpecialPage
16	* @author DannyS712
17	*/
18	class SpecialPageHistory extends SpecialRedirectWithAction {
19
20	public function __construct(
21	SearchEngineFactory $searchEngineFactory
22	) {
23	parent::__construct( 'PageHistory', 'history', 'pagehistory', $searchEngineFactory );
24	}
25
26	// Messages, for grep:
27	// specialpagehistory-page
28	// specialpagehistory-submit
29	}
30
31	// @codeCoverageIgnoreStart
32	/**
33	* Retain the old class name for backwards compatibility.
34	* @deprecated since 1.41
35	*/
36	class_alias( SpecialPageHistory::class, 'SpecialPageHistory' );
37	// @codeCoverageIgnoreEnd