> I've published a patch for bug #65576 : > https://github.com/php/php-src/pull/946 > Can you review it and merge it please ?
Are we sure that's that correct behavior? Can you provide some rationale for why it should happen this way? -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php