Gibt es einen Unterschied zwischen der UTC- und der Etc / UTC-Zeitzone?
In der PHP-DokumentationListe der unterstützten Zeitzonen, UTC
ist zweimal aufgeführt:
UTC
Etc/UTC
Gibt es einen konzeptionellen Unterschied zwischen diesen beiden oder handelt es sich nur um Synonyme?