Matthias Mullie has submitted this change and it was merged. Change subject: maintenance, resubmitting ......................................................................
maintenance, resubmitting Change-Id: I54da6341e062698a2c56ae6f373d2ba2b48e04b7 --- M Insider.class.php M Insider.i18n.magic.php M Insider.i18n.php M Insider.php 4 files changed, 233 insertions(+), 134 deletions(-) Approvals: Matthias Mullie: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/28510 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I54da6341e062698a2c56ae6f373d2ba2b48e04b7 Gerrit-PatchSet: 8 Gerrit-Project: mediawiki/extensions/Insider Gerrit-Branch: master Gerrit-Owner: Matthias Mullie <mmul...@wikimedia.org> Gerrit-Reviewer: CSteipp <cste...@wikimedia.org> Gerrit-Reviewer: Matthias Mullie <mmul...@wikimedia.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
