MediaWiki REL1_37
DifferenceEngineMarkPatrolledRCIDHook.php
Go to the documentation of this file.
1<?php
2
3namespace MediaWiki\Diff\Hook;
4
7use 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:69
onDifferenceEngineMarkPatrolledRCID(&$rcid, $differenceEngine, $change, $user)
Use this hook to possibly change the rcid parameter.