Fix #3869 (ou du moins on espere, sinon c'est pas si grave)

ecrire/inc/pipelines.php

@@ -99,10 +99,10 @@ function f_surligne($texte) {
 	include_spip('inc/surligne');
 
 	if (isset($_SERVER['HTTP_REFERER'])) {
-		$_SERVER['HTTP_REFERER'] = preg_replace(',[^\w\,/#&;-]+,', ' ', $_SERVER['HTTP_REFERER']);
+		$_SERVER['HTTP_REFERER'] = preg_replace(',[^\w\,/#&;:-]+,', ' ', $_SERVER['HTTP_REFERER']);
 	}
 	if ($rech){
-		$rech = preg_replace(',[^\w\,/#&;-]+,', ' ', $rech);
+		$rech = preg_replace(',[^\w\,/#&;:-]+,', ' ', $rech);
 	}
 
 	return surligner_mots($texte, $rech);