Форматирование числа (в виде строки) по времени в PHP

Question

Чувствую себя немного глупо, спрашивая это здесь, но я совершенно не знаю, что искать, чтобы дать мне ответ на этот вопрос, поэтому вот вопрос:

У меня есть номер, такой как:

0800

В идеале я хотел бы отформатировать это (используя PHP) в 8:00 - это возможно?

Надеюсь, вы поможете,

Том

Answer 1

echo DateTime::createFromFormat("Hi", "0800")->format("h:ia");

Для получения дополнительной информации (включая информацию о заполнителях) см. http://php.net/manual/en/datetime.createfromformat.php.

Answer 2

Вы можете использовать date() функцию и код ниже:

date("h:ia",strtotime("0800"))

Более подробную информацию можно найти здесь: http://php.net/manual/en/function.date.php

А еще один пример был бы потрясающим: http://codepad.org/uUuoZK1A

Answer 3

Это будет работать

    <?php
    $input = "0800";
    $hours = substr($input, 2);
    $mins = substr($input, -2);
    if($hours  < 12)
    {
    $output = $hours.":".$mins." am";
    }
    else
    {
    $output = ($hours-12).":".$mins." pm";
    }
    echo $output;
    ?>

Answer 4

Надеюсь, это поможет:)

$time = DateTime::createFromFormat('Hi', '0800');
echo $time->format('h:ia');