diff options
| -rw-r--r-- | main/main.c | 1 | ||||
| -rw-r--r-- | main/php.h | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/main/main.c b/main/main.c index 6ccacb233e..fc6be42a63 100644 --- a/main/main.c +++ b/main/main.c @@ -416,6 +416,7 @@ PHPAPI void php_verror(const char *docref, const char *params, int type, const c efree(docref_buf); } docref_buf = ref; + docref = docref_buf; p = strrchr(ref, '#'); if (p) { target = estrdup(p); diff --git a/main/php.h b/main/php.h index e4c6d86d42..4a01faaabf 100644 --- a/main/php.h +++ b/main/php.h @@ -255,6 +255,8 @@ int cfgparse(void); #define php_error zend_error +PHPAPI void php_verror(const char *docref, const char *params, int type, const char *format, va_list args TSRMLS_DC) ; + /* PHPAPI void php_error(int type, const char *format, ...); */ PHPAPI void php_error_docref0(const char *docref TSRMLS_DC, int type, const char *format, ...); PHPAPI void php_error_docref1(const char *docref TSRMLS_DC, const char *param1, int type, const char *format, ...); |