Update jshighlight.core-v1.0.2.src.js