Searched refs:is_inited_file_timestamp (Results 1 – 3 of 3) sorted by relevance
158 bool is_inited_file_timestamp; variable276 is_inited_file_timestamp = false; in PHP_RINIT_FUNCTION()325 is_inited_file_timestamp = true; in PHP_RSHUTDOWN_FUNCTION()
874 if (is_inited_file_timestamp) return;891 is_inited_file_timestamp = true;
1201 extern bool is_inited_file_timestamp;