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-2023 The PHP Group
All rights reserved.
Last updated: Thu Sep 28 10:01:24 2023 UTC