php/php-src — pull request #208 by lonnylot (2012-09-28 13:15:16+00:00)
Title: Bug 54567 DateTimeZone serialize/unserialize

Make DateTimeZone serializable and implement __set_state