diff --git a/ecrire/inc/pipelines.php b/ecrire/inc/pipelines.php index 9d594f043d96536015b00adb2421b56df1251d0f..0070e879d79bda691733b62836032cb5c9f6ed0c 100644 --- a/ecrire/inc/pipelines.php +++ b/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);