Closed fregante closed 3 years ago
Figured it out: Safari’s permissions are stored as *://*.github.com/*
, which might not be a direct match with what's in the permissions
key
Technically the current situation is correct. *://*.github.com/*
is different from *://github.com/*
so it is, in fact, an "additional" permission.
The correct solution is to change the manifest.json
permission to what Safari gives access to, but I'm afraid that it will trigger a warning in Chrome.
Testing needed
Edit: testing is hard, but I'm confident that prepending *.
to the host is a substantial change.
I’ll implement loose host matching with an option, so only the domain is considered when comparing permissions and nothing else.
Also to track for Safari support:
This appears to be the case from initial trials. Further testing needed.