Update extension.js

(update detected by update.sh)
Update extension-compiled.js

(update detected by update.sh)