AMIGOS TENGO UNA CONSULTA...
TENGO UNA CONSULTA QUE ME DEVUELVE UN DATO EN PHP... A ESTE DATO LE AGREGO NUMERO CON LA SUIGUIENTE FUNCION
function formato($c) {
printf("%06d<br>", $c);
ENTONCES SI EL NUMERO ES 56 ME QUEDA 000056
SI EL NUMERO ES 1234 ME QUEDA 001234
LA IMPRESION ES ASI(TIEMPO ES EL NUMERO QUE IMPRIMO)
formato($tiempo);
el problema es que este numero que me queda de 6 digitos necesito dejarlo como hora
pj si imprimo un 1230
me imprime 001230
"y lo necesito dejar asi 00:12:30"
agregarle los dos puntos cada dos numeros
pero no me funciona en realidad no se con que hacerlo
ojala me ayuden saludos