Update $-extensions.js