Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 694022 - wiki: Unable to grant bot permissions to edit Project: page
Summary: wiki: Unable to grant bot permissions to edit Project: page
Status: CONFIRMED
Alias: None
Product: Websites
Classification: Unclassified
Component: Wiki (show other bugs)
Hardware: All Linux
: Normal major
Assignee: Gentoo Wiki Team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-09-11 07:56 UTC by Michał Górny
Modified: 2019-09-11 07:56 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2019-09-11 07:56:41 UTC
I'm trying to write a bot to update UID/GID mapping page.  [Insert long mumble on how horrible mediawiki API is].  I've gotten all the basic bits working but the actual edit fails with:

{'error': {'code': 'protectednamespace', 'info': 'You do not have permission to edit pages in the Project namespace.', '*': 'See https://wiki.gentoo.org/api.php for API usage. Subscribe to the mediawiki-api-announce mailing list at <https://lists.wikimedia.org/mailman/listinfo/mediawiki-api-announce> for notice of API deprecations and breaking changes.'}}

Apparently, the problem is that the page is in Project: namespace which requires special permissions to edit.  This permission is granted to developers but it's impossible to grant it to bots.

After some searching, I think $wgGrantPermissions may be relevant [1].

[1] https://www.mediawiki.org/wiki/Manual:$wgGrantPermissions