jeromeschneider/Baikal — pull request #194 by skyhook19 (2014-02-06 15:45:06+00:00)
Title: Update Tools.php

Change timezone selector to use php DateTimeZone::listIdentifiers instead of hard coded list. Should also resolve #192

Info here: http://www.php.net/manual/en/datetimezone.listidentifiers.php