tankchintan/highlight-js — pull request #2 by dgsmith2 (2012-12-20 17:47:51+00:00)
Title: Diacritics

Added ability to control how diacritics are handled. Ignoring/honoring can be done on a case by case scenario via a parameter or on the whole by updating the default.

Also took the opportunity to define the plugin according to jQuery's documentation (but with the Bootstrap spin) as well as leverage built-in Array check.