MediaWiki  master
MergeHistoryFactory.php
Go to the documentation of this file.
1 <?php
2 
23 namespace MediaWiki\Page;
24 
25 use MergeHistory;
26 
31 
38  public function newMergeHistory(
40  PageIdentity $destination,
41  string $timestamp = null
42  ): MergeHistory;
43 }
Page\PageIdentity
Interface for objects (potentially) representing an editable wiki page.
Definition: PageIdentity.php:64
Page\MergeHistoryFactory\newMergeHistory
newMergeHistory(PageIdentity $source, PageIdentity $destination, string $timestamp=null)
Page\MergeHistoryFactory
Definition: MergeHistoryFactory.php:30
MergeHistory
Handles the backend logic of merging the histories of two pages.
Definition: MergeHistory.php:46
MediaWiki\Page
Definition: ContentModelChangeFactory.php:23
$source
$source
Definition: mwdoc-filter.php:34