diff options
| author | Clément Lassieur <clement@lassieur.org> | 2023-11-09 14:15:44 +0100 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2023-12-30 09:24:46 -0500 |
| commit | ba0d2ab758143b9fe2ca14f6eed07d9a6a350c2b (patch) | |
| tree | 0ecd8a30389110b49a8a1c1513332dbacfcb46f9 /data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html | |
| parent | f889514426e512e5602c71e1b411ae0332a33366 (diff) | |
Migrate from HTTPS-Everywhere to Icecat's own HTTPS-Only Mode.
See <https://www.eff.org/https-everywhere>.
Modified-By: Mark H Weaver <mhw@netris.org>.
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html')
| -rw-r--r-- | data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html deleted file mode 100644 index d3e9122..0000000 --- a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html +++ /dev/null @@ -1,25 +0,0 @@ -<!doctype html> -<html> - <head> - <meta charset="utf-8"> - <title></title> - <link href="style.css" rel="stylesheet"> - <script src="/external/codemirror/codemirror-5.31.0.min.js"></script> - <link href="/external/codemirror/codemirror-5.31.0.min.css" rel="stylesheet"> - <script src="/external/codemirror/codemirror-5.31.0.xml.min.js"></script> - </head> - <body> - <div class="section-header"><span class="section-header-span">Debugging Rulesets</span></div> - <div class="section-explainer"> - Enter ruleset XML below and click save when ready. These rulesets will be immediately activated upon saving, and will persist across restarts.<br> - <i>Warning</i>: This should only be used for debugging rulesets. This feature is not guaranteed to work reliably for regular usage.<br> - <i>Note</i>: Due to a bug in Chromium, it may be necessary to close the options ui before saving. - </div> - <div id="unsaved-text">There are unsaved changes! Be sure to save them for them to take effect.</div> - <textarea id="codemirror-textarea"></textarea> - <button type="button" id="save-button">Save</button> - <div id="saved-text">Saved!</div> - <script src="../util.js"></script> - <script src="ux.js"></script> - </body> -</html> |