Merge "Add type hints for class properties in SpecialVersion"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 6 Aug 2019 22:18:01 +0000 (22:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 6 Aug 2019 22:18:01 +0000 (22:18 +0000)
commit0ae01716c36bd03192a6dc79816beee8a0a74fa5
tree1e098f33675f1e381b123cd22635535cfa377fef
parentd69bf2f3be44e4d72ba5fa324d24f8557f30c41b
parent8f1023d4eb2ee7a14115d2a4de52b900baf17c2b
Merge "Add type hints for class properties in SpecialVersion"
includes/specials/SpecialVersion.php