Last modified: 2009-06-04 13:08:17 UTC

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.
First Last Prev Next    This bug is not in your last search results.
Bug 19067 - Right 'patrolmarks' unused?
Right 'patrolmarks' unused?
Status: RESOLVED INVALID
Product: MediaWiki extensions
Classification: Unclassified
FlaggedRevs (Other open bugs)
unspecified
All All
: Normal enhancement (vote)
: ---
Assigned To: Aaron Schulz
:
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)
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.
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links