Update extension-compiled.js

(update detected by update.sh)