| Current Path : /var/www/html/mediawiki-1.43.1/includes/page/ |
| Current File : /var/www/html/mediawiki-1.43.1/includes/page/DeletePageFactory.php |
<?php
namespace MediaWiki\Page;
use MediaWiki\Permissions\Authority;
/**
* Service for page delete actions.
*
* Default implementation is MediaWiki\Page\PageCommandFactory.
*
* @since 1.37
*/
interface DeletePageFactory {
/**
* @param ProperPageIdentity $page
* @param Authority $deleter
* @return DeletePage
*/
public function newDeletePage( ProperPageIdentity $page, Authority $deleter ): DeletePage;
}