1	<?php
2
3	namespace MediaWiki\Diff\Hook;
4
5	use DifferenceEngine;
6	use MediaWiki\User\User;
7	use RecentChange;
8
9	/**
10	* This is a hook handler interface, see docs/Hooks.md.
11	* Use the hook name "DifferenceEngineMarkPatrolledRCID" to register handlers implementing this interface.
12	*
13	* @stable to implement
14	* @ingroup Hooks
15	*/
16	interface DifferenceEngineMarkPatrolledRCIDHook {
17	/**
18	* Use this hook to possibly change the rcid parameter. For example the rcid
19	* might be set to zero due to the user being the same as the performer of
20	* the change but an extension might still want to show it under certain conditions.
21	*
22	* @since 1.35
23	*
24	* @param int &$rcid rc_id of the change or 0
25	* @param DifferenceEngine $differenceEngine
26	* @param RecentChange|null $change
27	* @param User $user Current user
28	* @return bool|void True or no return value to continue or false to abort
29	*/
30	public function onDifferenceEngineMarkPatrolledRCID( &$rcid, $differenceEngine,
31	$change, $user
32	);
33	}