Merge "Fix unused vars/pointless assignments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 2 Apr 2019 03:06:56 +0000 (03:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Apr 2019 03:06:56 +0000 (03:06 +0000)
commit2ef8fe6584cc16d5d01f21accdebaefc05f5d661
treef411e0aa82edfc420f3708d25b660051fb081a2b
parent94aa1240f033c4d5851b4f5e6ada8e8d571862cc
parente6818e6c649a82f8b54518c671cd32b54cf92968
Merge "Fix unused vars/pointless assignments"
includes/specials/SpecialUndelete.php