Version 1.2

Third submission to AMO.
Replaced by v1.3 before review by Mozilla editors.

Replaced data/highlightjs/highlightjs.pack.js (and support for 92 languages) with data/highlightjs/highlightjs.min.js (supports 22 languages).