Formattare orario

[centro]

Ciao a tutti
nel database ho un campo orario formattato in questo modo "0930"
come faccio con php ad inserire i due punti in mezzo?

grazie mille

[Sirlosc]

Questa può essere una soluzione.

<?php 
$ora = "0930"; 
$oraform = substr_replace("$ora",":",-2,-2); 
echo $oraform; 
?>

[furbostandby]

Se intendi come mettere i due punti quando salvi l'ora nel database, ti basta fare

$orario="$ore:$minuti"; 

mentre se intendi inserirli dopo aver estratto dal database la stringa, ti ho scritto una funzione(basta chiamarla passandole il numero. attento, deve essere una stringa e deve sempre avere 4 cifre!):

function duepunti($numero){
    $ore=substr(trim($numero),0,2);
    $minuti=substr(trim($numero),2,3);
    $orario="$ore:$minuti";
    return $orario;
} 

ciao

[furbostandby]

Vedo che qualcino è sempre piu veloce, eh?
Sirlosc ha postato mentre scrivevo...

[alcio74]

Ma lo 0930 è già un orario???
Se si, allora ti basta usare DATE().

$ora = date("H:i", $data); 

[piero.mac]

Originariamente inviato da alcio74
Ma lo 0930 è già un orario???
Se si, allora ti basta usare DATE().

$ora = date("H:i", $data); 

ci sono due errori:

1) date() si aspetta un unix timestamp.
2) i numeri che iniziano con zero sono considerati ottali dal php e quindi 0930 genera un'ora non valida.

[alcio74]

Forse ho capito male io, ma avevo capito che 0930 fosse un qualche risultato di una query, non che venisse salvato nel DB un orario in formato stringa/numero-pseudo-ottale.

[Samleo]

Ma perchè non rivedi anche il metodo di salvataggio dell'orario?

[alcio74]

Infatti dopo la meschina figura che ho fatto io nel rispondere, stavo pensando proprio a quello!

[Samleo]

Alcio disonore

PS: in ogni caso sarebbe consigliabile avere sempre gli orari nel formato AAAA-MM-GG OO-MM-SS in modo tale che se si vogliono ordinare delle date, lo si può fare benissimo direttamente dalla query.

Stessa cosa per il formato unix-time!