1	<?php
2
3	namespace MediaWiki\Page;
4
5	use MediaWiki\Permissions\Authority;
6
7	/**
8	* Service for page undelete actions.
9	*
10	* Default implementation is MediaWiki\Page\PageCommandFactory.
11	*
12	* @since 1.38
13	*/
14	interface UndeletePageFactory {
15
16	/**
17	* @param ProperPageIdentity $page
18	* @param Authority $authority
19	* @return UndeletePage
20	*/
21	public function newUndeletePage( ProperPageIdentity $page, Authority $authority ): UndeletePage;
22	}