go to bug id or search bugs for
Hello, PHP team!
I am pretty inexperienced with bug reports, and I won't take credit for this bug either since I did not discover it.
On the site linked below, you will find all the info regarding this bug which is affecting many of us:
Add a Patch
Add a Pull Request
Duplicate of <https://bugs.php.net/bug.php?id=55651>.
Marked as 'duplicate' as per request by cmbecker69 at gmx dot de.