Skip to content

add "conditional_entries" syntax #62

@myrdd

Description

@myrdd

suggested .json format extension: (example)

{
  "metadata":{
    "version":1,
    "serial":2017091501
  },
  "conditional_entries":[
    {
      "name": "uBlock origin",
      "conditions": [
        {
          "enabled_extensions": [
            {
              "id": "uBlock0@raymondhill.net",
              "type": "webextension"
            }
          ]
        }
      ],
      "entries":{
        "allow":[
          {
            "o":{"s":"moz-extension","h":"{extension_uuid}"},
            "d":{"s":"https","h":"*","port":"*"}
          }
        ]
      }
    }
  ]
}

or

{
  "metadata":{
    "version":1,
    "serial":2017091501
  },
  "conditional_entries":[
    {
      "name": "uBlock origin",
      "condition": {
        "enabled_extension": {
          "id": "uBlock0@raymondhill.net",
          "type": "webextension"
        }
      },
      "entries":{
        "allow":[
          {
            "o":{"s":"moz-extension","h":"{extension_uuid}"},
            "d":{"s":"https","h":"*","port":"*"}
          }
        ]
      }
    }
  ]
}

RP then needs to replace "{extension_uuid}" by the current UUID of the extension.

Btw, "conditional_entries" could be nested to allow for grouping.

I'm not sure if it's possible for WEs to retrieve the uuid. The uuid is stored in Extension.jsm [UUIDMap, Extension.uuid].

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions