MediaWiki  master
DeletePageFactory.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Page;
4 
5 use MediaWiki\Permissions\Authority;
6 
14 interface DeletePageFactory {
15 
21  public function newDeletePage( ProperPageIdentity $page, Authority $deleter ): DeletePage;
22 }
MediaWiki\Page\DeletePage
Backend logic for performing a page delete action.
Definition: DeletePage.php:51
MediaWiki\Page\DeletePageFactory
Service for page delete actions.
Definition: DeletePageFactory.php:14
MediaWiki\Page\DeletePageFactory\newDeletePage
newDeletePage(ProperPageIdentity $page, Authority $deleter)
MediaWiki\Page\ProperPageIdentity
Interface for a page that is (or could be, or used to be) an editable wiki page.
Definition: ProperPageIdentity.php:44
MediaWiki\Permissions\Authority
This interface represents the authority associated the current execution context, such as a web reque...
Definition: Authority.php:37