marienfressinaud/FreshRSS — pull request #152 by Alkarex (2013-08-31 10:11:04+00:00)
Title: Avoid preg_replace() for simple cases

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(). "