Matthias Mullie has submitted this change and it was merged. Change subject: Update ArticleFeedbackv5, AbuseFilter, FlaggedRevs to master ......................................................................
Update ArticleFeedbackv5, AbuseFilter, FlaggedRevs to master Change-Id: I079385b400d5912d8bdd7ae1cae72afb5f66cf4a --- M extensions/AbuseFilter M extensions/ArticleFeedbackv5 M extensions/FlaggedRevs 3 files changed, 0 insertions(+), 0 deletions(-) Approvals: Matthias Mullie: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/14097 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I079385b400d5912d8bdd7ae1cae72afb5f66cf4a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.20wmf6 Gerrit-Owner: Matthias Mullie <mmul...@wikimedia.org> Gerrit-Reviewer: Matthias Mullie <mmul...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits