Merge "Declare dynamic properties"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Sep 2019 21:49:14 +0000 (21:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Sep 2019 21:49:14 +0000 (21:49 +0000)
commitd2f799f103d0b576e2e5b1764df449ec3016d3c4
treeae8dc7c6ffc03fe2d281477a589240a0b4a46944
parent643a2e527c03cedb96a6b725a4d292faf7f76aa8
parent9699158f742ce3c927c661bdd12d6a73b7a0235d
Merge "Declare dynamic properties"
includes/logging/LogPager.php