Что такое свойство timezone_type объекта DateTime?

Question

Интересно, что означает этот вывод echo json_encode(new \DateTime());:

    {
        "date":"2019-04-16 14:43:15.126710",
        "timezone_type":3,
        "timezone":"Europe\/Berlin"
    }

date и timezone очевидны ... но что это timezone_type? Официальная документация мне не сильно помогла. Страница о DateTime не говорит об этом, просто упоминается, что вы можете получить / установить DateTimeZone. Страница о DateTimeZone тоже не помогает.

Так ... что это? Откуда PHP это берет? И для чего это хорошо?

Answer 1

Часовые пояса могут быть одного из трех различных типов в DateTime объектах:

1. Смещение UTC, например, new DateTime("17 July 2013 -0300");

2. Сокращение часового пояса, например, new DateTime("17 July 2013 GMT");

3. Идентификатор часового пояса, например, new DateTime( "17 July 2013", new DateTimeZone("Europe/London"));

ссылка на источник