Editing file: dbconnection.php