Update highlighter-jquery.js