report de [15065]

ecrire/inc/surligne.php

@@ -54,7 +54,7 @@ function surligner_mots($page, $surcharge_surligne='') {
       include_spip('inc/filtres');
       $script = "
       <script type='text/javascript' src='".url_absolue(find_in_path('javascript/SearchHighlight.js'))."'></script>
-      <script type='text/javascript'>
+      <script type='text/javascript'>/*<![CDATA[*/
       if (window.jQuery)
         (function(\$){\$(function(){
           \$(document).SearchHighlight({
@@ -70,7 +70,7 @@ function surligner_mots($page, $surcharge_surligne='') {
           })
         });
       })(jQuery);
-      </script>
+      /*]]>*/</script>
       ";
       // on l'insere juste avant </head>, sinon tout en bas
        if (is_null($l = strpos($page,'</head>')))