That is actually handled by the underlying timezone data on your server. It's normally updated with PHP (depending on how you installed PHP at least), so newer versions have more recent changes - though I believe you can update it through PECL as well.
Unfortunately, there's nothing we can do about that.