convertire minuti in ore

[cubalibre810]

echo gmdate('H:i', ($totale_minuti * 60));