Merge "ApiQueryLogEvents: Add IGNORE INDEX to avoid MariaDB optimizer bug"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Mar 2019 23:12:20 +0000 (23:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Mar 2019 23:12:20 +0000 (23:12 +0000)
commit90f5b55fa48a719905e828dbf731b078e71f6374
tree1baad4734c8376c8b4ec83cf699967698b9a2ab8
parent7f1da1a18a8904285f14ce5d93cec134615059a3
parente6021abc9c1654c09d3b2ae9b4b4d723fd43c983
Merge "ApiQueryLogEvents: Add IGNORE INDEX to avoid MariaDB optimizer bug"
includes/api/ApiQueryLogEvents.php