MediaWiki  master
MergeHistoryFactory.php
Go to the documentation of this file.
1 <?php
22 namespace MediaWiki\Page;
23 
31 interface MergeHistoryFactory {
32 
39  public function newMergeHistory(
40  PageIdentity $source,
41  PageIdentity $destination,
42  string $timestamp = null
43  ): MergeHistory;
44 }
MediaWiki\Page\MergeHistory
Handles the backend logic of merging the histories of two pages.
Definition: MergeHistory.php:57
MediaWiki\Page\MergeHistoryFactory
Service for mergehistory actions.
Definition: MergeHistoryFactory.php:31
MediaWiki\Page\MergeHistoryFactory\newMergeHistory
newMergeHistory(PageIdentity $source, PageIdentity $destination, string $timestamp=null)
MediaWiki\Page\PageIdentity
Interface for objects (potentially) representing an editable wiki page.
Definition: PageIdentity.php:67
$source
$source
Definition: mwdoc-filter.php:34