Bug #10348: php -l (lint) disabled?
| From: | colin at easydns dot com | Date: | Mon, 16 Apr 2001 18:43:11 +0000 |
| Subject: | Bug #10348: php -l (lint) disabled? | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-51721@lists.php.net to get a copy of this message | ||
From: colin@easydns.com
Operating system: RH7.0
PHP version: 4.0 Latest CVS (16/04/2001)
PHP Bug Type: PHP options/info functions
Bug description: php -l (lint) disabled?
"php -l script.php" doesn't seem to do anything.
If it's been removed, then we should remove it from the list of "php -h" options.
- Colin
--
Edit Bug report at: http://bugs.php.net/?id=10348&edit=1