added support for php-console