Мне нужно преобразовать часовой пояс в строковом формате (например, «Европа / Париж») в формат POSIX (например, «CET-1CEST, M3.5.0, M10.4.0 / 3») в PHP.
Есть ли встроенная функция для этого?