php/php-src — pull request #816 by datibbaw (2014-09-11 11:32:05+00:00)
Title: Remove ext/ereg

Part of combined RFC: [Remove deprecated functionality in PHP 7](https://wiki.php.net/rfc/remove_deprecated_functionality_in_php7)