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