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