Mysql configuration option removed from database documentation