Proposal: deprecate options_page manifest property

[carlosjeurissen]

Currently options_page is supported in some browsers. However, options_ui seems to be widely supported now and has all functionality options_page has:

"options_ui": {
  "page": "/options.html",
  "browser_style": false
}

So just like background_page got removed, it only makes sense to deprecate options_page. Which is something Firefox already did.

Seems it's best to remove options_page from the "spec" or clearly indicate it's deprecation state (depending on what's preferred?).

[xeenon]

Safari currently looks for options_ui first, then falls-back to options_page.