question          819 sapi/phpdbg/phpdbg_cmd.c PHPDBG_API int phpdbg_ask_user_permission(const char *question) {
question          822 sapi/phpdbg/phpdbg_cmd.c 		phpdbg_out("%s", question);
question          134 sapi/phpdbg/phpdbg_cmd.h PHPDBG_API int phpdbg_ask_user_permission(const char *question);