Amire80 has submitted this change and it was merged. Change subject: Update docs ......................................................................
Update docs Change-Id: Ic2bbff44abcd8cca882d56e0abbe24c9443e16e8 --- M scripts/processMessageChanges.php M utils/StringMatcher.php 2 files changed, 20 insertions(+), 15 deletions(-) Approvals: Amire80: Verified; Looks good to me, approved jenkins-bot: Checked -- To view, visit https://gerrit.wikimedia.org/r/40815 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic2bbff44abcd8cca882d56e0abbe24c9443e16e8 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Translate Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: Amire80 <amir.ahar...@mail.huji.ac.il> Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits