need php code to return abbreviated timezone of logged in user

[Jakeman]

Example... I'm logged in. My offset in my options is set to Pacific Standard Time, so the return value I want would be "PST".

PHP's date() function has a parameter ("T") that returns the abbreviated time zone of the local machine, but I don't see anything that I can feed an integer offset and have it return a time zone.

Am I going to have to write my own conversion function for this?