array_shift() liefert den ersten Wert von array, verschiebt die anderen Werte hinunter, und verkürzt array um ein Element. Ist array leer (oder kein Array), wird NULL zurückgegeben.
Hier enthält $args noch das Element "-f", und $opt enthält "-v".
Siehe auch array_unshift(), array_push(), and array_pop().