gplx/mediawiki/includes/page/DeletePageFactory.php

23 lines
425 B
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;
}