Opened 5 years ago

Closed 4 years ago

#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):

http://codereview.adblockplus.org/6567342980988928

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).

Change History (4)

comment:1 Changed 5 years ago by sebastian

  • Review URL(s) modified (diff)
  • Status changed from new to reviewing

comment:2 Changed 5 years ago by sebastian

  • Description modified (diff)

comment:3 Changed 5 years ago by sebastian

  • Description modified (diff)

comment:4 Changed 4 years ago by sebastian

  • Resolution set to fixed
  • Status changed from reviewing to closed
  • Tester set to Unknown
  • Verified working unset
Note: See TracTickets for help on using tickets.