Merge "API: Removed unused local variable `$p` from ApiQueryDeletedrevs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 2 Jul 2019 16:23:36 +0000 (16:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Jul 2019 16:23:36 +0000 (16:23 +0000)
commit2dcbec20f75e76f3dd887cd7a2b023c033a450e1
tree8c2788a2981d8c20d8c5079c50f5946f93e4ac73
parent419849211e3a638884f13d9a7a7f43b898d1d2a4
parente6e5ea4791927ffc6360830dd6150b777f2ffd61
Merge "API: Removed unused local variable `$p` from ApiQueryDeletedrevs"