javascript/selenium-core/scripts/selenium-version.js

Selenium.version = "2.28";
Selenium.revision = ".0";

window.top.document.title += " v" + Selenium.version + Selenium.revision;