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