Update user-extensions.js