Change-Id: I5323144faa48eb7da8db15a5aa143e103029961f
/**
* Record a log event for a change being patrolled
*
/**
* Record a log event for a change being patrolled
*
- * @param mixed $rc Change identifier or RecentChange object
+ * @param int|RecentChange $rc Change identifier or RecentChange object
* @param bool $auto Was this patrol event automatic?
* @param User $user User performing the action or null to use $wgUser
*
* @param bool $auto Was this patrol event automatic?
* @param User $user User performing the action or null to use $wgUser
*