1<?php 2 3namespace MediaWiki\Hook; 4 5use Revision; 6use User; 7 8/** 9 * @deprecated since 1.35 10 * @ingroup Hooks 11 */ 12interface HistoryRevisionToolsHook { 13 /** 14 * Use this hook to override or extend the revision tools available from the 15 * page history view, i.e. undo, rollback, etc. 16 * 17 * @since 1.35 18 * 19 * @param Revision $rev 20 * @param string[] &$links Array of HTML links 21 * @param Revision|null $prevRev Revision object, next in line in page history, or null 22 * @param User $user Current user object 23 * @return bool|void True or no return value to continue or false to abort 24 */ 25 public function onHistoryRevisionTools( $rev, &$links, $prevRev, $user ); 26} 27