Merge "add IGNORE INDEX option to mysql database handler"

diff --cc includes/db/Database.php
Simple merge

diff --cc includes/db/DatabaseMssql.php
Simple merge

diff --cc includes/db/DatabaseMysqlBase.php
Simple merge

diff --cc includes/db/DatabaseOracle.php
Simple merge

diff --cc includes/db/DatabasePostgres.php
Simple merge