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