LogPager: Add IGNORE INDEX to avoid MariaDB optimizer bug
authorBrad Jorsch <bjorsch@wikimedia.org>
Fri, 20 Sep 2019 19:38:52 +0000 (15:38 -0400)
committerMobrovac <mobrovac@wikimedia.org>
Tue, 24 Sep 2019 13:58:22 +0000 (13:58 +0000)
commitc0ea9c285d6502d55df20e8a663ca6191a4bfdcd
treeb17cd686d9030b2e96fb855ee99d172022835e3b
parent66eb92b458b4b43f0ca0970d7bbc440f9252e401
LogPager: Add IGNORE INDEX to avoid MariaDB optimizer bug

This is basically the same thing we fixed for ApiQueryLogEvents in
I16dba2158.

Bug: T223151
Change-Id: I53a7ed59de3eed2b0b4f1b1fb7f6d302b1de276c
includes/logging/LogPager.php