zend_API.c - missing zend_update_property_resource
| From: | Nicolai Scheer | Date: | Wed, 04 Jun 2014 19:52:01 +0000 |
| Subject: | zend_API.c - missing zend_update_property_resource | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-74746@lists.php.net to get a copy of this message | ||
Hi,
is it by itention, that there is no zend_update_property_resource in
zend_API.c (as of 5.5.12)?
What is the usual and official way to add such a function and what can I do
to make it happen?
If such a thing was added, would this be considered an api change - i.e.
the zend api number would be adjusted?
Curious greetings
Nico