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