changes to mysql.php