Merge "LogEventsList: Remove options not used by HTMLForm"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jul 2018 02:25:04 +0000 (02:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jul 2018 02:25:04 +0000 (02:25 +0000)
commita55a6f242458881f785cc6b9248ba3e20b484f87
tree22c2cd76abc2e6afb7fd505b665028be8805eecb
parent65757ea05213d806c3fc665d23d362fa7167baf4
parent6205c06ebed0965fe7e097fb795f7600a0d2e93c
Merge "LogEventsList: Remove options not used by HTMLForm"
includes/logging/LogEventsList.php