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 RecentChange;
7 use User;
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:64
RecentChange
Utility class for creating new RC entries.
Definition: RecentChange.php:83
User
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:70
MediaWiki\Diff\Hook\DifferenceEngineMarkPatrolledRCIDHook\onDifferenceEngineMarkPatrolledRCID
onDifferenceEngineMarkPatrolledRCID(&$rcid, $differenceEngine, $change, $user)
Use this hook to possibly change the rcid parameter.