В 2021 году Европа покончила с летним временем. В других странах время от времени меняются часовые пояса.
Как часто PHP обновляет свои правила часового пояса для поддержки этих изменений? Где я могу увидеть историю изменений, внесенных PHP в правила часового пояса, встроенные в язык?
Я попытался найти соответствующую информацию, но нашел только результат, объясняющий, как использовать часовые пояса в PHP. Мой вопрос более мета и касается самого языка.