[PHP-DOC] Re: [PHP-DEV] array_change_key_case()? key_exists()? From: Andrei Zmievski (andrei <email protected>)
Date: 11/11/01

At 06:42 PM 11/11/01 +0100, Jeroen van Wolffelaar wrote:
>These two functions are really unnecessary IMO, and I'm really wondering why
>they are here.
>
>key_exists: it should be named array_key_exists first, and second,
>isset($a[key]) simply works fine. A -1 on that one. (I know, and I also read
>in the archives, about the value-being-NULL issue, but still I don't think
>key_exists should exist.

Rename key_exists() to array_key_exists() if you want, but I am +1 for
keeping that function. Precisely because of value-being-NULL issue.

-Andrei