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-2021 The PHP Group
All rights reserved.
Last updated: Wed May 12 18:01:23 2021 UTC