dnebauer dc74fc4306 Update url of highlight.js github project (#3672) ...

Github repo of the highlight.js project has changed from `github.com/isagalaev/highlight.js` to `github.com/highlightjs/highlight.js`.

2019-01-14 09:31:29 +00:00

..

tiddlywiki

Update url of highlight.js github project (#3672)

2019-01-14 09:31:29 +00:00