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