Use str_replace instead of preg_replace. Follow up of r75769
authorDerk-Jan Hartman <hartman@users.mediawiki.org>
Mon, 17 Jan 2011 23:16:39 +0000 (23:16 +0000)
committerDerk-Jan Hartman <hartman@users.mediawiki.org>
Mon, 17 Jan 2011 23:16:39 +0000 (23:16 +0000)
commit32ea3591beb0cc8b1a9c60f9e04075d16c75fec0
tree593a8d735bee114b36106c9cbf3c6759071ea341
parent63eea0f7370b3f180ec2e19f93621cd0796f83ef
Use str_replace instead of preg_replace. Follow up of r75769
includes/diff/WikiDiff.php