Bug #13513: file doesn't recognize Zend encoded files as such.
| From: | willi at 7val dot de | Date: | Tue, 02 Oct 2001 15:56:50 +0000 |
| Subject: | Bug #13513: file doesn't recognize Zend encoded files as such. | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-67073@lists.php.net to get a copy of this message | ||
From: willi@7val.de
Operating system:
PHP version: 4.0.6
PHP Bug Type: *General Issues
Bug description: file doesn't recognize Zend encoded files as such.
usualy one would use "file index.html" to find out what kind of file it is.
In case of html, it should return:
/home/willi/src/ap/apache_1.3.17/htdocs/index.html.de: HTML document text
in case of a ZEND encoded file it should say something like
/home/willi/src/ap/apache_1.3.17/htdocs/index.html.de: ZEND encoded php
or so.
file should be part of the GNU-Fileutils.
--
Edit bug report at: http://bugs.php.net/?id=13513&edit=1