diff --git a/ecrire/inc/surligne.php b/ecrire/inc/surligne.php index 68c355d7be03ebc58f764297393de287cffda7db..0a53450ff9c2c8b24a33a6667b9451f8471bbbd7 100644 --- a/ecrire/inc/surligne.php +++ b/ecrire/inc/surligne.php @@ -72,6 +72,7 @@ function surligner_mots($page, $surcharge_surligne = '') { include_spip('inc/charsets'); if (!is_utf8($surcharge_surligne)) $surcharge_surligne = utf8_encode($surcharge_surligne); } + $surcharge_surligne = preg_replace(',\*$,', '', trim($surcharge_surligne)); # supprimer un * final } foreach ($surlignejs_engines as $engine) if ($surcharge_surligne || (preg_match($engine[0], $ref) && preg_match($engine[1], $ref))){