Arrays: Cómo añadir un nuevo elemento al final del array

<?php
array_push($gran_array, "viernes");
// También se puede hacer directamente así:
$gran_array[] = "viernes";
?>