php_date_global_timezone_db_enabled  551 ext/date/php_date.c int php_date_global_timezone_db_enabled;
php_date_global_timezone_db_enabled  877 ext/date/php_date.c 	php_date_global_timezone_db_enabled = 0;
php_date_global_timezone_db_enabled  908 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 1422 ext/date/php_date.c 		php_date_global_timezone_db_enabled = 1;