Also true, and the "resource" hint is still useful for documentation and
clarity of code. Better than no type hint I'd say.

Documentation belongs to documentation. We already have perfectly good phpdoc.
--
Stanislav Malyshev, Zend Software Architect
[EMAIL PROTECTED]   http://www.zend.com/
(408)253-8829   MSN: [EMAIL PROTECTED]

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to