Created an externs file for highlight.js