[MediaWiki-commits] [Gerrit] Alter contributors based on revdeled users - change (mediawiki...Contributors)

2016-07-23 Thread Addshore (Code Review)
Addshore has submitted this change and it was merged. Change subject: Alter contributors based on revdeled users .. Alter contributors based on revdeled users The previous version of the extension did not actually do this.

[MediaWiki-commits] [Gerrit] Alter contributors based on revdeled users - change (mediawiki...Contributors)

2016-07-19 Thread Addshore (Code Review)
Addshore has uploaded a new change for review. https://gerrit.wikimedia.org/r/299730 Change subject: Alter contributors based on revdeled users .. Alter contributors based on revdeled users Bug: T139880 Change-Id: