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-2019 The PHP Group
All rights reserved.
Last updated: Mon Jul 15 18:01:26 2019 UTC