report a bug
go to bug id or search bugs for
Welcome! If you don't have a Git account, you can't do anything here.
add a comment by following this link
or if you reported this bug, you can
edit this bug over here
This bug report is marked as private.
Copyright © 2001-2022 The PHP Group
All rights reserved.
Last updated: Thu Jul 07 17:05:45 2022 UTC