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-2020 The PHP Group
All rights reserved.
Last updated: Sat Jul 11 15:01:27 2020 UTC