Hi, I have a couple of pending PRs which are all small features with outstanding bugreports/feature requests and I wasn't sure that they would need an RFC or not, I would like to get some feedback about that: https://github.com/php/php-src/pull/1214 https://github.com/php/php-src/pull/1204 https://github.com/php/php-src/pull/969
ps: they are all targeting master and I can merge them myself I just wanted to make sure if they need further discussion or RFC. -- Ferenc Kovács @Tyr43l - http://tyrael.hu
