FlaggedRevs.php:$wgAvailableRights[] = 'patrolmarks';
This is the only mention of 'patrolmarks' in all of flagged revs. I am uncertain if this has not been renamed when it should be, or if it is obsolete.
Version: unspecified
Severity: enhancement