MediaWiki  master
MarkPatrolledCompleteHook.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Hook;
4 
5 use User;
6 
27  public function onMarkPatrolledComplete( $rcid, $user, $wcOnlySysopsCanPatrol,
28  $auto
29  );
30 }
The User object encapsulates all of the user-specific settings (user_id, name, rights,...
Definition: User.php:68
This is a hook handler interface, see docs/Hooks.md.
onMarkPatrolledComplete( $rcid, $user, $wcOnlySysopsCanPatrol, $auto)
This hook is called after an edit is marked patrolled.