MarkusGaertner 5b75547c9b Update 5.0.0.1, add Docu, PHP7.1-7.2		2018-07-09 16:05:29 +02:00
..
daux.js	Update 5.0.0.1, add Docu, PHP7.1-7.2	2018-07-09 16:05:29 +02:00
highlight.pack.js	Update 5.0.0.1, add Docu, PHP7.1-7.2	2018-07-09 16:05:29 +02:00
html5shiv-3.7.3.min.js	Update 5.0.0.1, add Docu, PHP7.1-7.2	2018-07-09 16:05:29 +02:00
jquery-1.11.3.min.js	Update 5.0.0.1, add Docu, PHP7.1-7.2	2018-07-09 16:05:29 +02:00
README.md	Update 5.0.0.1, add Docu, PHP7.1-7.2	2018-07-09 16:05:29 +02:00

Updating Highlight.js

This build of highlight.js contains all languages. to achieve this, go to : https://highlightjs.org/download/

And run the following snipped in the console:

$$("input[type=checkbox]").forEach(function(checkbox) { checkbox.checked=true; })

This will tick all boxes instead of doing it by hand.