UndeletePageFactory.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Page;
 
use MediaWiki\Permissions\Authority;
 
interface UndeletePageFactory {
 
    public function newUndeletePage( ProperPageIdentity $page, Authority $authority ): UndeletePage;
}