Selenium IDE: PHP Formatters 1.3.2.1-signed