note 55096 added to function.array-key-exists

To the skeptics of isset() performance : I tried to bench the 3 methods in various usecases (varying the array size, keys and content) and couldn't get anything more impressive than a 2x factor. But : * In the real-life project which led me to these considerations, the difference is dramatic : 160 seconds vs 0.21 second (a factor of 760 !). * I've never witnessed array_key_exists() being faster than isset(). ---- Manual Page -- http://www.php.net/manual/en/function.array-key-exists.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+55096 Delete: added to the manual -- http://master.php.net/manage/user-notes.php?action=delete+55096&report=yes&reason=added+to+the+manual Delete: bad code -- http://master.php.net/manage/user-notes.php?action=delete+55096&report=yes&reason=bad+code Delete: spam -- http://master.php.net/manage/user-notes.php?action=delete+55096&report=yes&reason=spam Delete: useless -- http://master.php.net/manage/user-notes.php?action=delete+55096&report=yes&reason=useless Delete: non-english -- http://master.php.net/manage/user-notes.php?action=delete+55096&report=yes&reason=non-english Delete: other reasons -- http://master.php.net/manage/user-notes.php?action=delete+55096&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+55096&report=yes Search -- http://master.php.net/manage/user-notes.php