The user_rights parameter in Abuse Filter is about the rights that "the" user (that triggered the filter) has, not "a" user.
Description
Description
Details
Details
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Properly use "the" article in AbuseFilter messages | mediawiki/extensions/AbuseFilter | master | +6 -6 |
Event Timeline
Comment Actions
Change 325618 had a related patch set uploaded (by Huji):
Properly use "the" article in AbuseFilter messages
Comment Actions
Change 325618 merged by jenkins-bot:
Properly use "the" article in AbuseFilter messages