Update extension

(update detected by update.sh)
Update core

(update detected by update.sh)