isagalaev/highlight.js — pull request #465 by shmatov (2014-04-27 17:32:13+00:00)
Title: Fix highlighting for lifetime parameters.

This will fix #463.