Reverted user-extension.js