Manual:SpecialMergeHistory.php

From mediawiki.org

SpecialMergeHistory implements Special:MergeHistory, a special page allowing users with the appropriate permissions to merge article histories, with some restrictions.