Hi, there is a bug I'd like to be fixed and even a patch is available. But there is still no reaction at all after 2 years. What else can I do to get the bug fixed? https://bugs.php.net/bug.php?id=45351 - patch available from 2010-06-13 https://bugs.php.net/bug.php?id=48724 - patch available from 2012-04-13
