2016-10-13 23:17 GMT+02:00 Dan Ackroyd <[email protected]>: > On 13 October 2016 at 18:03, Christoph M. Becker <[email protected]> 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 -- regards, Kalle Sommer Nielsen [email protected] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
