Siebrand has submitted this change and it was merged. Change subject: Add more type hints and update PHPDoc. ......................................................................
Add more type hints and update PHPDoc. Change-Id: I72d5f0d1105fe73f7dfe6c226216ad086db6c8ad --- M MediaWikiMessageChecker.php M MessageChecks.php M TranslateEditAddons.php M TranslateHooks.php M TranslateTasks.php M ffs/AndroidXmlFFS.php M ffs/YamlFFS.php M messagegroups/AggregateMessageGroup.php M messagegroups/FileBasedMessageGroup.php M messagegroups/WorkflowStatesMessageGroup.php M scripts/createCheckIndex.php M scripts/groupStatistics.php M specials/SpecialAggregateGroups.php M specials/SpecialTranslationStats.php M utils/MessageGroupStats.php M utils/RcFilter.php M utils/TranslationHelpers.php 17 files changed, 113 insertions(+), 39 deletions(-) Approvals: Siebrand: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/36925 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I72d5f0d1105fe73f7dfe6c226216ad086db6c8ad Gerrit-PatchSet: 2 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
