[PHP] jak zmienić formę wyświetlania stringu, operacje na stringach Opcje

[-cobol-]

mam stringi np:

[PHP] pobierz, plaintext 
<?php
$a = "9";
$b = "1235";
$c = "123";
$d= "12";
?>
[PHP] pobierz, plaintext 

i jak je przekształcić, aby było zachowane formatowanie xx:xx
np:

[PHP] pobierz, plaintext 
<?php
$a = "00:09";
$b = "12:35";
$c = "01:23";
$d= "00:12";
?>
[PHP] pobierz, plaintext 

?

[ayeo]

No niby tak, ale zakładasz, że znasz długość stringa...

[PHP] pobierz, plaintext 
<?php
$string = "253";
while( strlen( $string ) < 4) $string = "0".$string;
 
$no = strlen($string) - 2;
$tmp = $string[$no];
$string[$no] = ":";
$string = str_replace(":", ":$tmp", $string);
 
echo $string;
?>
[PHP] pobierz, plaintext 

Ja mam teraz takiego potworka :/