Joomla error: Deprecated: Function eregi() is deprecated in... sef.php (Joomla 1.x error with php 5.3)

Deprecated: Function eregi() is deprecated in... sef.php (Joomla 1.x error with php 5.3)

Download from here the fixed sef.php file. Unzip, rename fixed file to sef.php and upload to joomla's /includes directory.