2016-10-13 23:17 GMT+02:00 Dan Ackroyd <dan...@basereality.com>:
> On 13 October 2016 at 18:03, Christoph M. Becker <cmbecke...@gmx.de> wrote:
>> Implementing a fallback in userland would be trivial
> You should do that first, and get at least some people to use them, if
> you want them deprecated or removed from PHP.

I don't think this really matters for these so rarely used functions tbh


Kalle Sommer Nielsen

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

Reply via email to