Browsers occasionally push users to enable the extension on every domain and that will cause issues:
What can Refined GitHub do when this setup is detected?
Probably:
- immediately self-revoke the permission
- tell the user what to do next, either via
alert() or by opening a new tab on the wiki
- call
permissions.request() on github.com, if the browser is Safari, because it starts without that permission and because at this point it probably won't prompt the user
Browsers occasionally push users to enable the extension on every domain and that will cause issues:
What can Refined GitHub do when this setup is detected?
Probably:
alert()or by opening a new tab on the wikipermissions.request()on github.com, if the browser is Safari, because it starts without that permission and because at this point it probably won't prompt the user