e6e0ad2472
For compliance with the new version of the table interface policy (T255803). This patch was created by an automated search & replace operation on the includes/ directory. Bug: T257789 Change-Id: I17e5e92e24c708ffc846945a136347670a3a20c7
30 lines
804 B
PHP
30 lines
804 B
PHP
<?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
|
|
);
|
|
}
|