- str_replace: documentation ( source)
<?php
function f($req, $opt = null, ...$params)
{
$rr = '121245121245612121646212';
for ($i = 0; $i<2000; $i++)
{
$f = str_replace('12','', $rr);
if($i%20 ===0 )
{
echo $f;
}
}
}
f(1);
f(1, 2);
f(1, 2, 3);
f(1, 2, 3, 4);
f(1, 2, 3, 4, 5,6,7,8,9,10);
?>