note 71357 deleted from function.array-push by mazzanet

Note Submitter: rbemrose at gmail dot com ---- Stephan: array_push is meant to be used with numeric-only arrays. In fact, it doesn't make sense to use it with named keys, because you can *always* do $array[$key] = $value;