Hi list, Since it's an often-requested feature/often-brought up bug, I think this PR should be pushed for merging: https://github.com/php/php-src/pull/904
The patch itself is not very big, and the feature not complicated to test. I'd like to see this merged for the next version if possible :) Regards, -- Florian Margaine
