shimming ES5 features to make highlight.js work in older browsers