MediaWiki  master
DifferenceEngineMarkPatrolledRCIDHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Diff\Hook;
4 
5 use DifferenceEngine;
6 use MediaWiki\User\User;
7 use RecentChange;
8 
16 interface DifferenceEngineMarkPatrolledRCIDHook {
30  public function onDifferenceEngineMarkPatrolledRCID( &$rcid, $differenceEngine,
31  $change, $user
32  );
33 }
DifferenceEngine
DifferenceEngine is responsible for rendering the difference between two revisions as HTML.
Definition: DifferenceEngine.php:70
MediaWiki\User\User
internal since 1.36
Definition: User.php:98
RecentChange
Utility class for creating new RC entries.
Definition: RecentChange.php:87
MediaWiki\Diff\Hook\DifferenceEngineMarkPatrolledRCIDHook\onDifferenceEngineMarkPatrolledRCID
onDifferenceEngineMarkPatrolledRCID(&$rcid, $differenceEngine, $change, $user)
Use this hook to possibly change the rcid parameter.