# 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
```
