RE: [PHP-DEV] array_*() fixes
| From: | James Moore | Date: | Wed, 03 Jan 2001 23:19:43 +0000 |
| Subject: | RE: [PHP-DEV] array_*() fixes | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-42889@lists.php.net to get a copy of this message | ||
As I said I agree with you. But my opinion is not that important :)
James
> -----Original Message-----
> From: Zeev Suraski [mailto:zeev@zend.com]
> Sent: 03 January 2001 23:11
> To: php-dev@lists.php.net
> Subject: [PHP-DEV] array_*() fixes
>
>
> I'm interested in hearing opinions on whether the array_*() fixes
> should be
> included in pl1 or not. My hunch is that the fix (changing to
> mergesort()
> if I remember correctly) is a bit too far-going for a pl.
>
> I want to package pl1 within an hour, so please state your
> opinions quickly :)
>
> Zeev
>
>
> --
> Zeev Suraski <zeev@zend.com>
> CTO & co-founder, Zend Technologies Ltd.
> http://www.zend.com/
>
>
> --
> PHP Development Mailing List <http://www.php.net/>
> To unsubscribe, e-mail: php-dev-unsubscribe@lists.php.net
> For additional commands, e-mail: php-dev-help@lists.php.net
> To contact the list administrators, e-mail: php-list-admin@lists.php.net