Merge "deleteLogFormatter: explicitly declare parsedParametersDeleteLog"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Sep 2019 21:56:35 +0000 (21:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Sep 2019 21:56:35 +0000 (21:56 +0000)
commit2b29ca0fbb9f2b301074db257a9b33ec870ffebb
tree18ee9cfdd7a182b3a3e03ad89fbacd12020ff687
parentd2f799f103d0b576e2e5b1764df449ec3016d3c4
parent52a3335087091554e34d6e1167fbb82f549a3262
Merge "deleteLogFormatter: explicitly declare parsedParametersDeleteLog"
includes/logging/DeleteLogFormatter.php