php_date_global_timezone_db_enabled  553 ext/date/php_date.c int php_date_global_timezone_db_enabled;
php_date_global_timezone_db_enabled  873 ext/date/php_date.c 	php_date_global_timezone_db_enabled = 0;
php_date_global_timezone_db_enabled  904 ext/date/php_date.c 	php_info_print_table_row(2, "Timezone Database", php_date_global_timezone_db_enabled ? "external" : "internal");
php_date_global_timezone_db_enabled 1420 ext/date/php_date.c 		php_date_global_timezone_db_enabled = 1;