4 commits

Author	SHA1	Message	Date
Renée Kooi	aa75bb8645	doc: Fix highlighting of PHP snippets ... The Prism language for this was not enabled. Also added the "PHP" tag thing to the top right of PHP snippets.	2018-07-12 15:26:26 +02:00
Renée Kooi	5c32a26c64	Use prismjs directly.	2018-06-04 13:51:12 +02:00
Renée Kooi	2425d339c6	robustify	2018-06-04 13:41:29 +02:00
Renée Kooi	9eaaf7e4c6	Switch to prismjs for highlighting.	2018-06-04 13:04:59 +02:00