note 76105 deleted from resource by nlopess
| From: | nlopess@php.net | Date: | Fri, 13 Jul 2007 19:06:52 +0000 |
| Subject: | note 76105 deleted from resource by nlopess | ||
| References: | 1 | Groups: | php.notes |
| Request: | Send a blank email to php-notes+get-128452@lists.php.net to get a copy of this message | ||
Note Submitter: valentin at gernovich dot com
----
Sorry bug report not work...
<?
$resource = opendir(dirname(__FILE__));
print get_resource_type($resource);
?>
Printed the "stream"
Instead of the expected "dir"
Is bug? or feature?
Test'it on WinXP, PHP Version 5.2.3