Are you sure you want to delete the file PublicKeyCredentialRequestOptions.php?
PublicKeyCredentialRequestOptions.php