[php-maint] Bug#751936: Bug#751936: php5: Segfault in highlight_string()/highlight_file() when pgsql module loaded

Wed Jun 18 18:32:10 UTC 2014

On Wed, Jun 18, 2014 at 11:56:29AM +0200, Ondřej Surý wrote:
> could you please report this bug to upstream bugzilla? (And add the link
> here?)

Yes, I have done so.

Today I also had the time to reproduce the bug successfully using a
build of the current upstream snapshot, so it is definitely an
upstream problem.

The link to the upstream bug report:

https://bugs.php.net/bug.php?id=67468

Regards,
Andreas Ferber