Changed user-extension.js