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-2018 The PHP Group
All rights reserved.
Last updated: Fri Jun 22 07:01:44 2018 UTC