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-2017 The PHP Group
All rights reserved.
Last updated: Tue Aug 29 15:01:52 2017 UTC