On Mon, 11 Aug 2014, at 04:07, Tomasz W. Kozłowski wrote:
the patch is not for the MediaWiki software but for the configuration
of Wikimedia wikis (it's in the operations/mediawiki-config repository
It has been merged and deployed on the production cluster. The user
right has been added to the global staff user group, and it has
already been used to protect the MediaWiki:Common.js page on the
German Wikipedia so that no one can edit it except Wikimedia
Wikimedia Foundation is using this user right to actively fight its
community of volunteers.
This is something I cannot and will not support.
completely agree with 100% of the above
cc'ing 2 more lists
ftr, the change discussed is: <https://gerrit.wikimedia.org/r/#/c/153302/>