12 years ago by Tjerk Meesters — view source — reply unread Hi, Could someone with Zend karma please merge this PR? https://github.com/php/php-src/pull/646 Thanks! -- Tjerk