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
MediaWiki\Page
Definition:
ContentModelChangeFactory.php:22
includes
page
DeletePageFactory.php
Generated on Sat Sep 23 2023 18:09:13 for MediaWiki by
1.9.1