Improve code highlighting #1108
Description
It seems https://github.com/scrivo/highlight.php is dead. Are there any thoughts about switching to e.g. https://github.com/phikiphp/phiki?
{{ message }}
It seems https://github.com/scrivo/highlight.php is dead. Are there any thoughts about switching to e.g. https://github.com/phikiphp/phiki?