php-console fix