Merge "add IGNORE INDEX option to mysql database handler"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 12 Sep 2016 12:33:59 +0000 (12:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 12 Sep 2016 12:33:59 +0000 (12:33 +0000)
commit4a975b8099ee11b15421d03be02206935a8422f1
treef07790a4a19f14b3c080ab659239668cd31da17c
parent8cb18dca1c758c31cd6a514691a0e725855a2e5c
parent53fc101b2227cdfc88303ec72b6034bc6e8256b8
Merge "add IGNORE INDEX option to mysql database handler"
includes/db/Database.php
includes/db/DatabaseMssql.php
includes/db/DatabaseMysqlBase.php
includes/db/DatabaseOracle.php
includes/db/DatabasePostgres.php