Historique

Markus Gärtner 10495d3550 Update 5.0.0.1, add Docu, PHP5.6-7.0		2018-07-09 16:03:05 +02:00
..
README.md	Update 5.0.0.1, add Docu, PHP5.6-7.0	2018-07-09 16:03:05 +02:00
daux.js	Update 5.0.0.1, add Docu, PHP5.6-7.0	2018-07-09 16:03:05 +02:00
fontawesome-all.js	Update 5.0.0.1, add Docu, PHP5.6-7.0	2018-07-09 16:03:05 +02:00
highlight.pack.js	Update 5.0.0.1, add Docu, PHP5.6-7.0	2018-07-09 16:03:05 +02:00
html5shiv-3.7.3.min.js	Update 5.0.0.1, add Docu, PHP5.6-7.0	2018-07-09 16:03:05 +02:00
jquery-1.11.3.min.js	Update 5.0.0.1, add Docu, PHP5.6-7.0	2018-07-09 16:03:05 +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.