Fix update file for highlight.js

Separated the update.json fix from #1942.