Changes to mysql.php