Merge "Fix and make some types in PHPDoc and JSDoc tags more specific"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 5 Aug 2017 22:07:59 +0000 (22:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 5 Aug 2017 22:08:00 +0000 (22:08 +0000)
commitfb79f30319b9ad2a7eb0f5f4d1668143ec8f963e
tree6533f4ce22e28346f375adacdcac1baf41c5c42c
parent4a57391c75f4da1d8232e9f3394c8c565285049e
parentc785efd25e8e8f32efe14d4f416aaf0df0b3a4a5
Merge "Fix and make some types in PHPDoc and JSDoc tags more specific"
includes/api/ApiBase.php
languages/Language.php