Editing file: mysql.php