Codeigniter, timezone_menu и date_default_timezone_set

Я использую Codeigniters timezone_menu , который дает раскрывающееся меню часовых поясов, и мне интересно, как мы должны использовать эти часовые пояса с PHP date_default_timezone_set ?

Примером часового пояса codeigniters является UP1 . Однако вы не можете использовать это с PHP date_default_timezone_set , поскольку строка, которую он принимает, должна быть чем-то вроде Europe / Berlin

Вопрос в том, есть ли способ преобразовать строку часового пояса codeigniter на PHP, который может быть принят date_default_timezone_set ?