MediaWiki  master
MergeHistoryFactory.php
Go to the documentation of this file.
1 <?php
2 
23 namespace MediaWiki\Page;
24 
25 use MergeHistory;
26 use Title;
27 
32 
39  public function newMergeHistory(
40  Title $source,
41  Title $destination,
42  string $timestamp = null
43  ) : MergeHistory;
44 }
Page\MergeHistoryFactory\newMergeHistory
newMergeHistory(Title $source, Title $destination, string $timestamp=null)
Page\MergeHistoryFactory
Definition: MergeHistoryFactory.php:31
MergeHistory
Handles the backend logic of merging the histories of two pages.
Definition: MergeHistory.php:41
Title
Represents a title within MediaWiki.
Definition: Title.php:42
MediaWiki\Page
Definition: ContentModelChangeFactory.php:23
$source
$source
Definition: mwdoc-filter.php:34