jenkins-bot has submitted this change and it was merged. Change subject: Update/fix docs and type hints ......................................................................
Update/fix docs and type hints Also remove a few superfluous newlines. Change-Id: Ib02cb183a1e2f5f18e61fe4038dcb76f7a665f4e --- M MessageCollection.php M api/ApiQueryMessageCollection.php M ffs/DtdFFS.php M ffs/JavaFFS.php M ffs/JavaScriptFFS.php M ffs/MediaWikiExtensionFFS.php M ffs/PythonSingleFFS.php M resources/js/ext.translate.editor.js M scripts/export.php M scripts/mwcore-export.php M scripts/sync-group.php M scripts/ttmserver-export.php M specials/SpecialManageGroups.php M tag/PageTranslationHooks.php M tag/TPParse.php M tests/TranslationFuzzyUpdaterTest.php M tests/api/ApiTokensTest.php M tests/ffs/RubyYamlFFSTest.php M utils/HTMLJsSelectToInputField.php M utils/MessageIndex.php M utils/UserToggles.php 21 files changed, 94 insertions(+), 34 deletions(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/42593 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib02cb183a1e2f5f18e61fe4038dcb76f7a665f4e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Translate Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: Nikerabbit <[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
