diff --git a/ecrire/inc/revisions.php b/ecrire/inc/revisions.php index 852ed7b1f3d5be5d817217d00c4ad6eec8125aa1..5ac2f3a45af521c1d98a230a5444dbcd41ae2d4e 100644 --- a/ecrire/inc/revisions.php +++ b/ecrire/inc/revisions.php @@ -497,12 +497,17 @@ function propre_diff($texte) { $texte = preg_replace(',(^|[^[])[[]([^[\]]*@@@SPIP_DIFF[0-9]+@@),', '\1[\2', $texte); - $tex = $GLOBALS['traiter_math']; // desactiver TeX + // desactiver TeX & toujours-paragrapher + $tex = $GLOBALS['traiter_math']; $GLOBALS['traiter_math'] = ''; + $mem = $GLOBALS['toujours_paragrapher']; + $GLOBALS['toujours_paragrapher'] = false; $texte = propre($texte); + // retablir $GLOBALS['traiter_math'] = $tex; + $GLOBALS['toujours_paragrapher'] = $mem; // un blockquote mal ferme peut gener l'affichage, et title plante safari $texte = preg_replace(',<(/?(blockquote|title)[^>]*)>,i', '<\1>', $texte);