Hi Andreas, so far I didn't succeed to generate a simple script to reproduce. Will try to put more effort soon.
I suspect that the issue is similar to the following upstream bugs, but I couldn't reproduce them on my Ubuntu 18.04.1. https://bugs.php.net/bug.php?id=76281 https://bugs.php.net/bug.php?id=76029 ** Bug watch added: bugs.php.net/ #76281 http://bugs.php.net/bug.php?id=76281 ** Bug watch added: bugs.php.net/ #76029 http://bugs.php.net/bug.php?id=76029 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1814511 Title: Weird PHP error: "Undefined variable: value" To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/php7.2/+bug/1814511/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
