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-2021 The PHP Group
All rights reserved.
Last updated: Mon Jul 26 17:01:23 2021 UTC