Burthsceh has submitted this change and it was merged.

Change subject: Add the list of contributors of MediaWiki
......................................................................


Add the list of contributors of MediaWiki

And remove the wrong comment in RevisionCommentSupplement.pg.sql.

Change-Id: I79bd79ba6fbde10960ea5c93282ba59d5e2adae0
---
A .gitreview
A CREDITS
A README
A RevisionCommentSupplement.i18n.php
A RevisionCommentSupplement.pg.sql
A RevisionCommentSupplement.php
A RevisionCommentSupplement.sql
A SpecialRevisionCommentSupplement.php
8 files changed, 604 insertions(+), 0 deletions(-)

Approvals:
  Burthsceh: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/17692
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I79bd79ba6fbde10960ea5c93282ba59d5e2adae0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RevisionCommentSupplement
Gerrit-Branch: master
Gerrit-Owner: Burthsceh <burths...@gmail.com>
Gerrit-Reviewer: Burthsceh <burths...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to