Editing: OtherDeviceLogout.php