Manual:PageHistoryHandler.php