A port of highlight.js by Ivan Sagalaev to PHP