Siebrand has submitted this change and it was merged. Change subject: Update docs, type hints and parameter types ......................................................................
Update docs, type hints and parameter types Change-Id: I71c17b520bda2b65e99bd079db824a6f5216d3ba --- M MessageCollection.php M MessageGroups.php M TranslateUtils.php M scripts/cli.inc M scripts/pagetranslation-test-parser.php M scripts/processMessageChanges.php M specials/SpecialTranslationStats.php M utils/StatsTable.php M utils/TranslationHelpers.php 9 files changed, 71 insertions(+), 67 deletions(-) Approvals: Siebrand: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/36935 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I71c17b520bda2b65e99bd079db824a6f5216d3ba Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Translate Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
