mirror of
https://github.com/php/php-src.git
synced 2025-08-18 23:18:56 +02:00
- CS
This commit is contained in:
parent
70cf09bf5b
commit
d21e7f5aa0
2 changed files with 4 additions and 3 deletions
|
@ -256,6 +256,7 @@ PHPDBG_API void phpdbg_set_color(int element, const phpdbg_color_t *color TSRMLS
|
||||||
PHPDBG_API void phpdbg_set_color_ex(int element, const char *name, size_t name_length TSRMLS_DC) /* {{{ */
|
PHPDBG_API void phpdbg_set_color_ex(int element, const char *name, size_t name_length TSRMLS_DC) /* {{{ */
|
||||||
{
|
{
|
||||||
const phpdbg_color_t *color = phpdbg_get_color(name, name_length TSRMLS_CC);
|
const phpdbg_color_t *color = phpdbg_get_color(name, name_length TSRMLS_CC);
|
||||||
|
|
||||||
if (color) {
|
if (color) {
|
||||||
phpdbg_set_color(element, color TSRMLS_CC);
|
phpdbg_set_color(element, color TSRMLS_CC);
|
||||||
} else PHPDBG_G(colors)[element] = colors;
|
} else PHPDBG_G(colors)[element] = colors;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue