array_push () vs. $ array [] =… Qual é o mais rápido? [duplicado]

Esta questão já tem uma resposta aqui:

O que é melhor usar em PHP $ array [] = $ value ou array_push ($ array, $ value)? 10 respostas

Eu preciso adicionar valores recebidos do MySQL em um array [PHP], aqui está o que eu tenho:

$players = array();

while ($homePlayerRow = mysql_fetch_array($homePlayerResult)) {
    $players[] = $homePlayerRow['player_id'];
}

Esta é a única maneira de fazer isso?Além disso, é o seguinte mais rápido / melhor?

$players = array();

while ($homePlayerRow = mysql_fetch_array($homePlayerResult)) {
    array_push($players, $homePlayerRow['player_id']);
}

desde já, obrigado

questionAnswers(2)

yourAnswerToTheQuestion