Grazie mille, risolto con intval(), mi era più comodo perchè devo tener separate ore, minuti, secondi ed usarli separatamente.
Grazie mille!Codice PHP:
<?
//mi arriva la variabile dei minuti in formato "03" e lo sistemo come segue
$minuti = intval("".$minuti);
echo "$minuti"; //stampa: 3
?>