array_shift() estrae il primo elemento di array e lo restituisce, accorciando array di un elemento e spostando tutti gli altri all'indietro. Se array è vuoto (o non è un array), viene restituito NULL.
Il risultato sarà $args contenente un elemento "-f", e $opt uguale a "-v".
Vedere anche array_unshift(), array_push(), e array_pop().