report a bug
go to bug id or search bugs for
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can
add a comment by following this link
If this is your bug, but you forgot your password,
you can retrieve your password here
This bug report is marked as private.
Copyright © 2001-2019 The PHP Group
All rights reserved.
Last updated: Mon Jul 22 10:01:25 2019 UTC