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