Come si fa a convertire una stringa da maiuscola a minuscola?

Es: $prova ="PiPPo";

VOGLIO OTTENERE:

$prova = "pippo";

Grazie...