php字符替换

$str = “文字信息时间文字信息文字信息文字信息文字信息文字信息文字信息”;

$fstr = “时间”;
$str=stri{p}_{t}ags(trim($str));

echo str_ireplace($fstr,"<fontcolor{=}^{\prime }re{d}^{\prime }>$fstr", $str);