Merge "Add type hint for ParserOutput"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 12 Aug 2018 07:03:19 +0000 (07:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 12 Aug 2018 07:03:19 +0000 (07:03 +0000)
commitfe25fde55bc9e58741965ad0f2275a7ba2ac77fa
tree50b9794113f10294db001c1255b6069c2271803d
parent9bd9b2f02b3001e1a90ec2861a31cb54b7c7f1ed
parent6a022c8d2038a490ed8ee262be8043bcf40fc4e1
Merge "Add type hint for ParserOutput"
includes/EditPage.php
includes/OutputPage.php