[w3c/permissions] Export the "Set Permission" dfn to fix a Bikeshed warning. (#216)

We can `export`, explicitly `noexport`, or remove the `<dfn>`, and I'm not certain which is best. WebDriver itself gets away without making an explicit choice because it has a local use of every endpoint at https://w3c.github.io/webdriver/#endpoints. (and maybe because Respec doesn't have this warning?) I don't see a reason another specification would depend on this, so `noexport` should be fine, but because it's a public API used by tests, `export` seems semantically right, so I went with `export`.


<!--
    This comment and the below content is programatically generated.
    You may add a comma-separated list of anchors you'd like a
    direct link to below (e.g. #idl-serializers, #idl-sequence):

    Don't remove this comment or modify anything below this line.
    If you don't want a preview generated for this pull request,
    just replace the whole of this comment's content by "no preview"
    and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/jyasskin/permissions/pull/216.html" title="Last updated on Jul 20, 2020, 8:42 PM UTC (f8cee17)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/permissions/216/e38762b...jyasskin:f8cee17.html" title="Last updated on Jul 20, 2020, 8:42 PM UTC (f8cee17)">Diff</a>
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/permissions/pull/216

-- Commit Summary --

  * Export the "Set Permission" dfn to fix a Bikeshed warning.

-- File Changes --

    M index.bs (2)

-- Patch Links --

https://github.com/w3c/permissions/pull/216.patch
https://github.com/w3c/permissions/pull/216.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/216