Fixed bug #9994: ereg* is deprecated in PHP 5.3 alpha3