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 -- regards, Kalle Sommer Nielsen ka...@php.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php