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