MergeHistoryFactory.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Page;
 
use MergeHistory;
 
interface MergeHistoryFactory {
 
    public function newMergeHistory(
        PageIdentity $source,
        PageIdentity $destination,
        string $timestamp = null
    ): MergeHistory;
}