Update extension.js

(update detected by update.sh)