There are people trying to take care of some of that already. https://github.com/php/php-src/pull/301 https://github.com/php/php-src/pull/301 was at some point

There are people trying to take care of some of that already. https://github.com/php/php-src/pull/301 https://github.com/php/php-src/pull/301 was at some point hoping to get into 5.6 but I don't know what happened to it since then.