diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2016-05-03 13:36:21 +0200 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2016-05-30 13:31:17 +0200 |
| commit | 67468fb4176cc8ff43a1dc321c5903f17af88d39 (patch) | |
| tree | a20100baf813d4eb655df69e44418a6e03f247cd /sapi/phpdbg/phpdbg_prompt.c | |
| parent | 933d6b188c62bea6e10e67bea97ac23f51f6ecce (diff) | |
| download | php-git-67468fb4176cc8ff43a1dc321c5903f17af88d39.tar.gz | |
Fixed bug #72284 (phpdbg fatal errors with coverage)
Cherry-pick of original commits d3371b and 0f20e11 only present in master
Diffstat (limited to 'sapi/phpdbg/phpdbg_prompt.c')
0 files changed, 0 insertions, 0 deletions