MediaWiki  master
DeletePageFactory.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Page;
4 
6 
10 interface DeletePageFactory {
11 
17  public function newDeletePage( ProperPageIdentity $page, Authority $deleter ): DeletePage;
18 }
Page\DeletePageFactory
Definition: DeletePageFactory.php:10
MediaWiki\Permissions\Authority
This interface represents the authority associated the current execution context, such as a web reque...
Definition: Authority.php:37
Page\ProperPageIdentity
Interface for objects representing a page that is (or could be, or used to be) an editable page on a ...
Definition: ProperPageIdentity.php:43
Page\DeletePageFactory\newDeletePage
newDeletePage(ProperPageIdentity $page, Authority $deleter)
MediaWiki\Page
Definition: ContentModelChangeFactory.php:23
Page\DeletePage
Definition: DeletePage.php:49