includes/page/DeletePageFactory.php

   1 <?php
   2
   3 namespace MediaWiki\Page;
   4
   5 use MediaWiki\Permissions\Authority;
   6
   7 /**
   8  * Service for page delete actions.
   9  *
  10  * Default implementation is MediaWiki\Page\PageCommandFactory.
  11  *
  12  * @since 1.37
  13  */
  14 interface DeletePageFactory {
  15
  16         /**
  17          * @param ProperPageIdentity $page
  18          * @param Authority $deleter
  19          * @return DeletePage
  20          */
  21         public function newDeletePage( ProperPageIdentity $page, Authority $deleter ): DeletePage;
  22 }