As both Firefox and Edge support
browser_specific_settings(which is also what’s in the spec), but only Firefox supports it as
applications, I believe it should be considered for renaming.
I agree, we should use what’s in the spec. But I’d like to check with the WebExtensions team too, I’ll ask them for an opinion.
I think this makes a lot of sense, too. We’d need to have a plan to transition to the new key over time. ExE-Boss, could you please file an issue in Bugzilla for this? Thanks.
https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/manifest.json/browser_specific_settings is already renamed, but the old entry was still there in https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/Updates#Enabling_updates_to_your_extension. I’ve now changed it there, too.