MediaWiki  master
DifferenceEngineMarkPatrolledRCIDHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Diff\Hook;
4 
6 use RecentChange;
7 use User;
8 
30  public function onDifferenceEngineMarkPatrolledRCID( &$rcid, $differenceEngine,
31  $change, $user
32  );
33 }
DifferenceEngine is responsible for rendering the difference between two revisions as HTML.
Utility class for creating new RC entries.
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:70
onDifferenceEngineMarkPatrolledRCID(&$rcid, $differenceEngine, $change, $user)
Use this hook to possibly change the rcid parameter.