1 2 3 4 5
Selenium.version = "@VERSION@"; Selenium.revision = "@REVISION@"; window.top.document.title += " v" + Selenium.version + " [" + Selenium.revision + "]";