note 18755 added to function.array-push

I noticed that when building a large array, array_push($array, $value) didn't seem to be quite as fast as $array[] = $value. Using the latter would therefore be a useul optimisation if you can guarantee unique keys (e.g. reading from a DB table with an id field). Static. -- http://www.php.net/manual/en/function.array-push.php http://master.php.net/manage/user-notes.php?action=edit+18755 http://master.php.net/manage/user-notes.php?action=delete+18755 http://master.php.net/manage/user-notes.php?action=reject+18755