What's better to use in PHP for appending an array member
$array = $value or
array_push($array, $value) ?
Though the manual says you're better off to avoid a function call, I've also read
$array is much slower than
array_push() . Does anyone have any clarifications or benchmarks?