timelib_timezone_id_from_abbr   77 ext/date/lib/timelib.h char *timelib_timezone_id_from_abbr(const char *abbr, long gmtoffset, int isdst);
timelib_timezone_id_from_abbr 3822 ext/date/php_date.c 	tzid = timelib_timezone_id_from_abbr(abbr, gmtoffset, isdst);