Use C-version of str_ireplace() if it is defined (PHP 5 only).
authormoodler <moodler>
Fri, 6 Jun 2003 09:46:27 +0000 (09:46 +0000)
committermoodler <moodler>
Fri, 6 Jun 2003 09:46:27 +0000 (09:46 +0000)
commit72e4eac6c8e4b00a105ed498b211bc88d7397c81
treee96dc8395fb3c180d0b6ca1a8d9bcb74537a4089
parent7c3188e286bb55b921f1d58548f2439241e5504c
Use C-version of str_ireplace() if it is defined (PHP 5 only).
lib/weblib.php