Added id_highlighter.js to additional_javscript