[webauthn] Rename MakePublicKeyCredentialOptions?

apowers313 has just created a new issue for https://github.com/w3c/webauthn:

== Rename MakePublicKeyCredentialOptions? ==
I realize this is late in the game, but can we rename `MakePublicKeyCredentialOptions` to `PublicKeyCredentialCreateOptions` so that it matches the naming conventions of [other APIs](https://developer.mozilla.org/en-US/docs/Web/API)? It's just a dictionary (not an interface), so hopefully it would be an easy change...

Please view or discuss this issue at https://github.com/w3c/webauthn/issues/773 using your GitHub account

Received on Sunday, 4 February 2018 19:15:09 UTC