PHP String modification Issue

Question

I am having one weird problem.I am getting time of the day like 800 , 1200 ...

i want output String like 8:00,12:00.. I know alternatives but can anyone suggests me shortest way to complete it ..?plz

deceze · Accepted Answer · 2011-09-30 06:44:43Z

4

One way to do it:

echo preg_replace('^(\d{1,2})(\d{2})$', '$1:$2', $time);

answered Sep 30, 2011 at 6:44

deceze♦

525k89 gold badges807 silver badges954 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

Herzult · Accepted Answer · 2011-09-30 06:52:57Z

1

Another way

echo substr($time, 0, 3 === strlen($time) ? 1 : 2) . ':' . substr($time, -2);

Or you can normalize the length

$time = str_pad($time, 4, 0, STR_PAD_LEFT);

echo substr($time, 0, 2) . ':' . substr($time, 2, 2);

answered Sep 30, 2011 at 6:52

Herzult

3,41925 silver badges15 bronze badges

Janis Lankovskis · Accepted Answer · 2011-09-30 06:57:06Z

0

if your source is string like "800" or "1200" then solution by deceze will do :

preg_replace('^(\d{1,2})(\d{2})$', '$1:$2', $time);

but if it's matter of date formatting then this is the right way to do it

date("H:i");

answered Sep 30, 2011 at 6:57

Janis Lankovskis

1,0409 silver badges9 bronze badges