Starting with a time zone identifier, such as \"America/Los_Angeles\", how do you find the names and abbreviations of that time zone in PHP? For example:
\"America/Los_Angeles\"
Looks like Symphony has methods for that, e.g. select_timezone_tag. You might check their source code to see how it's done.