diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-10-14 19:36:27 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-14 19:36:27 -0400 |
commit | 429e3a5b74b9b0a077cff94ec1efd10c0a1940be (patch) | |
tree | 477b4a7a15960c1e5593736c2528fcac601599c2 /ext | |
parent | a72c3d7719cafcbf0ccd17b24c8c7108743ef1a7 (diff) |
Fix "modifier" field being required despite being deleted (#920)
Diffstat (limited to 'ext')
-rw-r--r-- | ext/bg/data/options-schema.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ext/bg/data/options-schema.json b/ext/bg/data/options-schema.json index 05883693..c0a39ea2 100644 --- a/ext/bg/data/options-schema.json +++ b/ext/bg/data/options-schema.json @@ -332,7 +332,6 @@ "delay", "hideDelay", "length", - "modifier", "deepDomScan", "popupNestingMaxDepth", "enablePopupSearch", |