note 71357 added to function.array-push

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; ---- Server IP: 66.163.161.117 Probable Submitter: 24.56.241.100 ---- Manual Page -- http://www.php.net/manual/en/function.array-push.php Edit -- https://master.php.net/note/edit/71357 Del: integrated -- https://master.php.net/note/delete/71357/integrated Del: useless -- https://master.php.net/note/delete/71357/useless Del: bad code -- https://master.php.net/note/delete/71357/bad+code Del: spam -- https://master.php.net/note/delete/71357/spam Del: non-english -- https://master.php.net/note/delete/71357/non-english Del: in docs -- https://master.php.net/note/delete/71357/in+docs Del: other reasons-- https://master.php.net/note/delete/71357 Reject -- https://master.php.net/note/reject/71357 Search -- https://master.php.net/manage/user-notes.php