timelib_timezone_id_from_abbr   74 ext/date/lib/timelib.h char *timelib_timezone_id_from_abbr(const char *abbr, long gmtoffset, int isdst);
timelib_timezone_id_from_abbr 3622 ext/date/php_date.c 	if ((tzid = timelib_timezone_id_from_abbr(tz, -1, 0))) {
timelib_timezone_id_from_abbr 3815 ext/date/php_date.c 	tzid = timelib_timezone_id_from_abbr(abbr, gmtoffset, isdst);