Searched refs:phpdbg_get_terminal_height (Results 1 – 3 of 3) sorted by relevance
76 PHPDBG_API uint32_t phpdbg_get_terminal_height(void); /* }}} */
368 PHPDBG_API uint32_t phpdbg_get_terminal_height(void) /* {{{ */ in phpdbg_get_terminal_height() function
117 pg->lines = phpdbg_get_terminal_height(); in php_phpdbg_globals_ctor()
Completed in 14 milliseconds