Updated extensions

 - HTTPS Everywhere updated to 2018.1.11
 - "goteo.org payments with free JS" updated to 1.1
 - "LibreJS compatible Pay.gov" updated to 1.3
 - "Reveal hidden HTML" updated to 1.6
 - Enabled WebRTC, but prevent leaking the LAN ip.

1 files changed, 42 insertions, 0 deletions

diff --git a/data/extensions/https-everywhere@eff.org/external/README.md b/data/extensions/https-everywhere@eff.org/external/README.md
new file mode 100644
index 0000000..138cb46
--- /dev/null
+++ b/data/extensions/https-everywhere@eff.org/external/README.md
@@ -0,0 +1,42 @@
+# External dependencies
+
+This directory contains files that are external dependencies for HTTPS Everywhere, with instructions on how to get or remake them.
+
+## CodeMirror 5.31.0
+
+```
+$ npm install uglify-js@3.1.9
+$ npm install uglifycss@0.0.27
+$ curl -o codemirror.zip https://codemirror.net/codemirror-5.31.0.zip
+$ unzip codemirror.zip
+```
+
+### codemirror-5.31.0.min.js
+
+```bash
+uglifyjs \
+  --compress \
+  --mangle \
+  --comments '/copyright|license/' \
+  --output codemirror-5.31.0.min.js \
+  codemirror-5.31.0/lib/codemirror.js
+```
+
+### codemirror-5.31.0.xml.min.js
+
+```bash
+uglifyjs \
+  --compress \
+  --mangle \
+  --comments '/copyright|license/' \
+  --output codemirror-5.31.0.xml.min.js \
+  codemirror-5.31.0/mode/xml/xml.js
+```
+
+### codemirror-5.31.0.min.css
+
+```bash
+uglifycss \
+  --output codemirror-5.31.0.min.css \
+  codemirror-5.31.0/lib/codemirror.css
+```