mini ricerca con grassetto sulla parola trovata...

[marketto]

function evidenzia($a,$b){
	$ok = preg_replace("/$a/i","$0", $b);
	echo $ok.'
';
}