Editing File: logout.php