php/php-src — pull request #814 by datibbaw (2014-09-10 00:35:34+00:00)
Title: Killing ext/ereg with fire!

This complements an earlier discussion on the mailing list to finally remove ereg altogether.