mirror of
https://github.com/php/php-src.git
synced 2026-04-19 22:11:12 +02:00
## 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
## 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