user-extension.js for Selenium xml validation