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