cdnjs/cdnjs — pull request #3758 by isagalaev (2014-08-20 23:04:12+00:00)
Title: highlight.js 8.2

I saw #3638 just today, and it's great to see it happening. Unfortunately, we seem to not be able to use it just yet as we don't keep pre-built version on GitHub and our node.js version is useless on a CDN. We'll try to figure it all out by the next release. Hope it's still okay to merge the PR manually? Thanks!