diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 20:39:48 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-09-13 21:02:13 -0400 |
| commit | d26b319fd6f98517cc3421f10bf18698b953e4d2 (patch) | |
| tree | bc70c4e472a2eaf514d411dba5067d530e5bbea9 /data/extensions/https-everywhere@eff.org/debugging-rulesets.html | |
| parent | c3b304c51a3386ea09527a479a883253ea35243a (diff) | |
Updated extensions list for v60
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/debugging-rulesets.html')
| -rw-r--r-- | data/extensions/https-everywhere@eff.org/debugging-rulesets.html | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/data/extensions/https-everywhere@eff.org/debugging-rulesets.html b/data/extensions/https-everywhere@eff.org/debugging-rulesets.html deleted file mode 100644 index 9585c33..0000000 --- a/data/extensions/https-everywhere@eff.org/debugging-rulesets.html +++ /dev/null @@ -1,25 +0,0 @@ -<!doctype html> -<html> - <head> - <meta charset="utf-8"> - <title></title> - <link href="debugging-rulesets.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="send-message.js"></script> - <script src="debugging-rulesets.js"></script> - </body> -</html> |