Merge "LogEventsList: Remove unused messages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Jul 2018 20:05:18 +0000 (20:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Jul 2018 20:05:18 +0000 (20:05 +0000)
commit8785fa24c96f08f18f308a9e36f9e17d1b62552b
treee130f7c41ad34eaa6e8433364e3fb1d5a6f13370
parent7951d4d8d5cf80cc6767e1460556076a4c4b9c9f
parentd85cba415ea2ef2abc549178fc7691081f92c74b
Merge "LogEventsList: Remove unused messages"
includes/DefaultSettings.php