Opened on 12/28/2014 at 04:27:27 PM
Closed on 01/30/2016 at 03:45:57 PM
#1740 closed change (fixed)
Support "devtools_page" option in Chrome extension manifest
| Reported by: | sebastian | Assignee: | sebastian |
|---|---|---|---|
| Priority: | P3 | Milestone: | |
| Module: | Automation | Keywords: | |
| Cc: | Blocked By: | ||
| Blocking: | #154 | Platform: | Unknown |
| Ready: | yes | Confidential: | no |
| Tester: | Unknown | Verified working: | no |
| Review URL(s): | |||
Description (last modified by sebastian)
Background
With #154 we are going to add a devtools panel for Adblock Plus.
In order to create devtools panels the devtool_page option must be added to the extension manifest.
What to change
If the metadata.* file specifies a devtools option in the general section, its value should be added with devtools_page option to the generated manifest.json (similar to how the options page is configured).
Attachments (0)
Change History (4)
Note: See
TracTickets for help on using
tickets.

https://hg.adblockplus.org/buildtools/rev/ba0a4b93d601