Searched refs:file_char (Results 1 – 2 of 2) sorted by relevance
1653 const char *file_char = zend_get_executed_filename(); in list_code() local1654 zend_string *file = zend_string_init(file_char, strlen(file_char), 0); in list_code()
853 const char *file_char = zend_get_executed_filename(); in php_sapi_phpdbg_log_message() local854 zend_string *file = zend_string_init(file_char, strlen(file_char), 0); in php_sapi_phpdbg_log_message()
Completed in 20 milliseconds