ADDED file input for 'php -l'