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