mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2026-03-04 14:36:00 -05:00
Use the faster str_replace() and str_ireplace() instead. From http://www.php.net/manual/function.str-replace.php : "If you don't need fancy replacing rules (like regular expressions), you should always use this function instead of preg_replace(). "