mirror of
https://github.com/php/php-src.git
synced 2026-04-21 15:08:16 +02:00
1cabc8cd3a
## I know that we may remove ereg in trunk, but since the core doesn't depend on ## ereg, then I don't see any reason not to allow this