array_push () vs. $ array [] =… ¿Cuál es el más rápido? [duplicar]

Esta pregunta ya tiene una respuesta aquí:

Necesito agregar los valores recibidos de MySQL en una matriz [PHP], esto es lo que tengo:

$players = array();

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

¿Es esta la única manera de hacerlo?también, es el siguiente más rápido / mejor?

$players = array();

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

Gracias por adelantado