phpdbg_get_terminal_height   88 sapi/phpdbg/phpdbg.c 	pg->lines = phpdbg_get_terminal_height();
phpdbg_get_terminal_height   78 sapi/phpdbg/phpdbg_utils.h PHPDBG_API int phpdbg_get_terminal_height(void); /* }}} */