diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2014-10-26 03:50:28 +0100 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2014-10-27 00:00:13 +0100 |
commit | cc70ec1e6735bb60606673c72c5ce9d9cb076e29 (patch) | |
tree | cad900331a52095c712edd4ad484e2b7f90413a6 /sapi/phpdbg/phpdbg_cmd.h | |
parent | 25e3560546110183d539e5c111b75ae3d99b119c (diff) | |
download | php-git-cc70ec1e6735bb60606673c72c5ce9d9cb076e29.tar.gz |
Add question to reset execution in run/exec/clean
Diffstat (limited to 'sapi/phpdbg/phpdbg_cmd.h')
-rw-r--r-- | sapi/phpdbg/phpdbg_cmd.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sapi/phpdbg/phpdbg_cmd.h b/sapi/phpdbg/phpdbg_cmd.h index 3896551c9a..4c9e5383d8 100644 --- a/sapi/phpdbg/phpdbg_cmd.h +++ b/sapi/phpdbg/phpdbg_cmd.h @@ -131,6 +131,7 @@ typedef struct { */ PHPDBG_API char* phpdbg_read_input(char *buffered TSRMLS_DC); PHPDBG_API void phpdbg_destroy_input(char** TSRMLS_DC); +PHPDBG_API int phpdbg_ask_user_permission(const char *question TSRMLS_DC); /** * Stack Management |