changed mysql to mysqli

db.php and index.php use the mysqli extension