MovePageFactory.php

Go to the documentation of this file.

<?php
namespace MediaWiki\Page;
 
interface MovePageFactory {
 
    public function newMovePage( PageIdentity $from, PageIdentity $to ): MovePage;
}