diff options
author | Felipe Pena <felipensp@gmail.com> | 2013-06-25 16:26:26 -0300 |
---|---|---|
committer | Felipe Pena <felipensp@gmail.com> | 2013-06-25 16:26:26 -0300 |
commit | 6ba93a4bae355ac1d247d1e474381bb92d1eb038 (patch) | |
tree | 53ac4ae05239d681a5274c18103358269099f291 | |
parent | 38eb909d064ecbbf51d5869a629dae91a6ed9dcf (diff) | |
download | php-git-6ba93a4bae355ac1d247d1e474381bb92d1eb038.tar.gz |
- Fixed bug #60732 (php_error_docref links to invalid pages) patch by: Jakub Vrana
-rw-r--r-- | main/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/main.c b/main/main.c index c0db64d184..2821dfcdca 100644 --- a/main/main.c +++ b/main/main.c @@ -784,6 +784,9 @@ PHPAPI void php_verror(const char *docref, const char *params, int type, const c /* no docref given but function is known (the default) */ if (!docref && is_function) { int doclen; + while (*function == '_') { + function++; + } if (space[0] == '\0') { doclen = spprintf(&docref_buf, 0, "function.%s", function); } else { |