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