Manual:MergeHistoryPager.php