What's better to use in PHP, $array[] = $value or array_push($array, $value)?

Question

What\'s better to use in PHP for appending an array member,

$array[] = $value;

or

array_push($array, $value);

Answer 1

Word on the street is that [] is faster because no overhead for the function call. Plus, no one really likes PHP's array functions...

"Is it...haystack, needle....or is it needle haystack...ah, f*** it...[] = "