Merge "Improve type hints in parser related classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 9 Jul 2019 15:11:57 +0000 (15:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Jul 2019 15:11:57 +0000 (15:11 +0000)
commited0193f1fb662d5af7db8bf81ca8aa34c979063e
treeb8ade14c4e132373cfd4001d0c38b5fb873d08a9
parent434015880aab5b155cc7edd6fcddf1883d0395eb
parentdd25f3df6b5d4e8b863cc2dca178425286c74e65
Merge "Improve type hints in parser related classes"
includes/parser/Parser.php