> Please kill that alias. It is pointless to introduce a new function
> with an alias for it.
> 
> 

I killed the alias in this commit:
https://github.com/ramsey/php-src/commit/3439a098a0b646ff05d4da9748996214cac39d12

-Ben 

Reply via email to