Merge "EditPage: Remove unused variable in getCheckboxesOOUI()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 3 Sep 2017 01:34:05 +0000 (01:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 3 Sep 2017 01:34:05 +0000 (01:34 +0000)
commit6d09f88785bf4b7fe821634d3438106b6f335a94
tree9adaae12217f21c5fc7917c5fe9d2d7c213747f8
parentb0ea484506f0d666eec1d709f2f4d4e92b9e67a1
parentc0af3c9e39caedd509985a2d5315dc0ef2ddae64
Merge "EditPage: Remove unused variable in getCheckboxesOOUI()"
includes/EditPage.php