Changed user-extensions.js