mirror of
https://github.com/php/php-src.git
synced 2025-08-19 17:04:47 +02:00
Merge branch 'master' of https://github.com/krakjoe/phpdbg
This commit is contained in:
parent
4e6a8eeffa
commit
02ae3f8de1
6 changed files with 80 additions and 49 deletions
|
@ -27,11 +27,13 @@
|
|||
PHPDBG_SET(prompt);
|
||||
PHPDBG_SET(color);
|
||||
PHPDBG_SET(oplog);
|
||||
PHPDBG_SET(break);
|
||||
|
||||
static const phpdbg_command_t phpdbg_set_commands[] = {
|
||||
PHPDBG_COMMAND_D_EX(prompt, "usage: set prompt <string>", 'p', set_prompt, NULL, 0),
|
||||
PHPDBG_COMMAND_D_EX(color, "usage: set color <element> <color>", 'c', set_color, NULL, 1),
|
||||
PHPDBG_COMMAND_D_EX(oplog, "usage: set oplog <output>", 'O', set_oplog, NULL, 0),
|
||||
PHPDBG_COMMAND_D_EX(break, "usage: set break <on|off>", 'b', set_break, NULL, 0),
|
||||
PHPDBG_END_COMMAND
|
||||
};
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue