Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T21067, the corresponding Phabricator task for complete and up-to-date bug report information.

Bug 19067 - Right 'patrolmarks' unused?

Summary:	Right 'patrolmarks' unused?

Status: RESOLVED INVALID Product: MediaWiki extensions Classification: Unclassified Component: FlaggedRevs (Other open bugs) Version: unspecified Hardware: All All Importance: Normal enhancement (vote) Target Milestone: --- Assigned To: Aaron Schulz URL: Whiteboard: Keywords: Depends on: Blocks:   Show dependency tree / graph		Reported: 2009-06-03 15:05 UTC by Siebrand Mazeland Modified: 2009-06-04 13:08 UTC (History) CC List: 0 users See Also: Web browser: --- Mobile Platform: --- Assignee Huggle Beta Tester: ---

Attachments Add an attachment (proposed patch, testcase, etc.)

Description Siebrand Mazeland 2009-06-03 15:05:22 UTC 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. Comment 1 Aaron Schulz 2009-06-04 13:01:42 UTC This is in User.php Comment 2 Siebrand Mazeland 2009-06-04 13:08:17 UTC Isn't this a type of integration that is unwanted? This right is not defined in core, there are no comments in the code (neither in core, nor in FlaggedRevs). IMO that must be fixed at least.