PHP formatter for Selenium IDE with WebDriver support (aka Selenium2)