Server : Apache System : Linux webd348.cluster026.gra.hosting.ovh.net 5.15.148-ovh-vps-grsec-zfs-classid #1 SMP Thu Feb 8 09:41:04 UTC 2024 x86_64 User : hednacluml ( 122243) PHP Version : 8.3.9 Disable Function : _dyuweyrj4,_dyuweyrj4r,dl Directory : /home/hednacluml/ecriture/plugins-dist/revisions/inc/ |
<?php
/***************************************************************************\
* SPIP, Système de publication pour l'internet *
* *
* Copyright © avec tendresse depuis 2001 *
* Arnaud Martin, Antoine Pitrou, Philippe Rivière, Emmanuel Saint-James *
* *
* Ce programme est un logiciel libre distribué sous licence GNU/GPL. *
\***************************************************************************/
/**
* Fonctions utilitaires du plugin révisions
*
* @package SPIP\Revisions\Diff
**/
if (!defined('_ECRIRE_INC_VERSION')) {
return;
}
// LCS (Longest Common Subsequence) en deux versions
// (ref: http://web.archive.org/web/20071206224029/http://www2.toki.or.id/book/AlgDesignManual/BOOK/BOOK5/NODE208.HTM#SECTION03178000000000000000)
/**
* Calcule un LCS (Longest Common Subsequence) simplifié
*
* Chaque chaîne est une permutation de l'autre et on passe en paramètre
* un des deux tableaux de correspondances
*
* @see lcs()
* @param array $s
* @return array
**/
function lcs_opt($s) {
$n = count($s);
if (!$n) {
return [];
}
$paths = [];
$paths_ymin = [];
$max_len = 0;
// Insertion des points
asort($s);
$max = 400;
foreach ($s as $y => $c) {
if ($max-- < 0) {
break;
} # eviter l'explosion memoire des tres gros diff
for ($len = $max_len; $len > 0; $len--) {
if ($paths_ymin[$len] < $y) {
$paths_ymin[$len + 1] = $y;
$paths[$len + 1] = $paths[$len];
$paths[$len + 1][$y] = $c;
break;
}
}
if ($len == 0) {
$paths_ymin[1] = $y;
$paths[1] = [$y => $c];
}
if ($len + 1 > $max_len) {
$max_len = $len + 1;
}
}
return $paths[$max_len];
}
/**
* Calcule un LCS (Longest Common Subsequence)
*
* Les deux chaînes n'ont pas été traitées au préalable par la fonction d'appariement
*
* @see lcs_opt()
* @param array $s
* @param array $t
* @return array
**/
function lcs($s, $t) {
$n = count($s);
$p = count($t);
if (!$n || !$p) {
return [0 => [], 1 => []];
}
$paths = [];
$paths_ymin = [];
$max_len = 0;
$s_pos = $t_pos = [];
// Insertion des points
foreach ($t as $y => $c) {
$t_pos[trim($c)][] = $y;
}
foreach ($s as $x => $c) {
$c = trim($c);
if (!isset($t_pos[$c])) {
continue;
}
krsort($t_pos[$c]);
foreach ($t_pos[$c] as $y) {
for ($len = $max_len; $len > 0; $len--) {
if ($paths_ymin[$len] < $y) {
$paths_ymin[$len + 1] = $y;
// On construit le resultat sous forme de chaine d'abord,
// car les tableaux de PHP sont dispendieux en taille memoire
$paths[$len + 1] = $paths[$len] . " $x,$y";
break;
}
}
if ($len + 1 > $max_len) {
$max_len = $len + 1;
}
if ($len == 0) {
$paths_ymin[1] = $y;
$paths[1] = "$x,$y";
}
}
}
if (isset($paths[$max_len]) and $paths[$max_len]) {
$path = explode(' ', $paths[$max_len]);
$u = $v = [];
foreach ($path as $p) {
[$x, $y] = explode(',', $p);
$u[$x] = $y;
$v[$y] = $x;
}
return [$u, $v];
}
return [0 => [], 1 => []];
}
/**
* Génération de diff a plusieurs étages
*
* @package SPIP\Revisions\Diff
**/
class Diff {
/**
* Objet DiffX d'un texte ou partie de texte
*
* @var Object Objet Diff* (DiffTexte, DiffPara, DiffPhrase)
*/
public $diff;
public $fuzzy;
/**
* Constructeur
*
* @param Object $diff Objet Diff* d'un texte ou morceau de texte
**/
public function __construct($diff) {
$this->diff = $diff;
$this->fuzzy = true;
}
public function comparer($new, $old) {
$p_old = null;
$paras = $this->diff->segmenter($new);
$paras_old = $this->diff->segmenter($old);
if ($this->diff->fuzzy()) {
[$trans_rev, $trans] = apparier_paras($paras_old, $paras);
$lcs = lcs_opt($trans);
$lcs_rev = array_flip($lcs);
} else {
[$trans_rev, $trans] = lcs($paras_old, $paras);
$lcs = $trans;
$lcs_rev = $trans_rev;
}
reset($paras_old);
reset($paras);
reset($lcs);
unset($i_old);
$fin_old = false;
foreach ($paras as $i => $p) {
if (!isset($trans[$i])) {
// Paragraphe ajoute
$this->diff->ajouter($p);
continue;
}
$j = $trans[$i];
if (!isset($lcs[$i])) {
// Paragraphe deplace
$this->diff->deplacer($p, $paras_old[$j]);
continue;
}
if (!$fin_old) {
// Paragraphes supprimes jusqu'au paragraphe courant
if (!isset($i_old)) {
$i_old = key($paras_old);
$p_old = current($paras_old);
next($paras_old);
if (!$p_old) {
$fin_old = true;
}
}
while (!$fin_old && $i_old < $j) {
if (!isset($trans_rev[$i_old])) {
$this->diff->supprimer($p_old);
}
unset($i_old);
$i_old = key($paras_old);
$p_old = current($paras_old);
next($paras_old);
if (!$p_old) {
$fin_old = true;
}
}
}
// Paragraphe n'ayant pas change de place
$this->diff->comparer($p, $paras_old[$j]);
}
// Paragraphes supprimes a la fin du texte
if (!$fin_old) {
if (!isset($i_old)) {
$i_old = key($paras_old);
$p_old = current($paras_old);
next($paras_old);
if (!strlen($p_old)) {
$fin_old = true;
}
}
while (!$fin_old) {
if (!isset($trans_rev[$i_old])) {
$this->diff->supprimer($p_old);
}
$i_old = key($paras_old);
$p_old = current($paras_old);
next($paras_old);
if (!$p_old) {
$fin_old = true;
}
}
}
if (isset($i_old)) {
if (!isset($trans_rev[$i_old])) {
$this->diff->supprimer($p_old);
}
}
return $this->diff->resultat();
}
}
/**
* Génération de diff sur un Texte
*
* @package SPIP\Revisions\Diff
**/
class DiffTexte {
public $r;
/**
* Constructeur
**/
public function __construct() {
$this->r = '';
}
public function _diff($p, $p_old) {
$diff = new Diff(new DiffPara());
return $diff->comparer($p, $p_old);
}
public function fuzzy() {
return true;
}
/**
* Découper les paragraphes d'un texte en fragments
*
* @param string $texte Texte à fragmenter
* @return string[] Tableau de fragments (paragraphes)
**/
public function segmenter($texte) {
return separer_paras($texte);
}
// NB : rem=\"diff-\" est un signal pour la fonction "afficher_para_modifies"
public function ajouter($p) {
$p = trim($p);
$this->r .= "\n\n\n<span class=\"diff-para-ajoute\" title=\"" . _T('revisions:diff_para_ajoute') . '">' . $p . '</span rem="diff-">';
}
public function supprimer($p_old) {
$p_old = trim($p_old);
$this->r .= "\n\n\n<span class=\"diff-para-supprime\" title=\"" . _T('revisions:diff_para_supprime') . '">' . $p_old . '</span rem="diff-">';
}
public function deplacer($p, $p_old) {
$this->r .= "\n\n\n<span class=\"diff-para-deplace\" title=\"" . _T('revisions:diff_para_deplace') . '">';
$this->r .= trim($this->_diff($p, $p_old));
$this->r .= '</span rem="diff-">';
}
public function comparer($p, $p_old) {
$this->r .= "\n\n\n" . $this->_diff($p, $p_old);
}
public function resultat() {
return $this->r;
}
}
/**
* Génération de diff sur un paragraphe
*
* @package SPIP\Revisions\Diff
**/
class DiffPara {
public $r;
/** Constructeur */
public function __construct() {
$this->r = '';
}
public function _diff($p, $p_old) {
$diff = new Diff(new DiffPhrase());
return $diff->comparer($p, $p_old);
}
public function fuzzy() {
return true;
}
public function segmenter($texte) {
$paras = [];
$texte = trim($texte);
while (preg_match('/[\.!\?\]]+\s*/u', $texte, $regs)) {
$p = strpos($texte, (string) $regs[0]) + strlen($regs[0]);
$paras[] = substr($texte, 0, $p);
$texte = substr($texte, $p);
}
if ($texte) {
$paras[] = $texte;
}
return $paras;
}
public function ajouter($p) {
$this->r .= '<span class="diff-ajoute" title="' . _T('revisions:diff_texte_ajoute') . '">' . $p . '</span rem="diff-">';
}
public function supprimer($p_old) {
$this->r .= '<span class="diff-supprime" title="' . _T('revisions:diff_texte_supprime') . '">' . $p_old . '</span rem="diff-">';
}
public function deplacer($p, $p_old) {
$this->r .= '<span class="diff-deplace" title="' . _T('revisions:diff_texte_deplace') . '">' . $this->_diff(
$p,
$p_old
) . '</span rem="diff-">';
}
public function comparer($p, $p_old) {
$this->r .= $this->_diff($p, $p_old);
}
public function resultat() {
return $this->r;
}
}
/**
* Génération de diff sur une phrase
*
* @package SPIP\Revisions\Diff
**/
class DiffPhrase {
public $r;
/** Constructeur */
public function __construct() {
$this->r = '';
}
public function fuzzy() {
return false;
}
public function segmenter($texte) {
$paras = [];
$plage_punct_unicode = '\xE2(\x80[\x80-\xBF]|\x81[\x80-\xAF])';
$punct = '([[:punct:]]|' . $plage_punct_unicode . ')';
$mode = 'u';
$preg = '/(' . $punct . '+)(\s+|$)|(\s+)(' . $punct . '*)/' . $mode;
while (preg_match($preg, $texte, $regs)) {
$regs = array_pad($regs, 6, '');
$p = strpos($texte, (string) $regs[0]);
$l = strlen($regs[0]);
$punct = $regs[1] ?: $regs[6];
$milieu = '';
if ($punct) {
// notes
if ($punct == '[[') {
$avant = substr($texte, 0, $p) . $regs[5] . $punct;
$texte = $regs[4] . substr($texte, $p + $l);
} else {
if ($punct == ']]') {
$avant = substr($texte, 0, $p) . $regs[5] . $punct;
$texte = substr($texte, $p + $l);
} // Attacher les raccourcis fermants au mot precedent
else {
if (preg_match(',^[\]}]+$,', $punct)) {
$avant = substr($texte, 0, $p) . $regs[5] . $punct;
$texte = $regs[4] . substr($texte, $p + $l);
} // Attacher les raccourcis ouvrants au mot suivant
else {
if (isset($regs[5]) && $regs[5] && preg_match(',^[\[{]+$,', $punct)) {
$avant = substr($texte, 0, $p) . $regs[5];
$texte = $punct . substr($texte, $p + $l);
} // Les autres signes de ponctuation sont des mots a part entiere
else {
$avant = substr($texte, 0, $p);
$milieu = $regs[0];
$texte = substr($texte, $p + $l);
}
}
}
}
} else {
$avant = substr($texte, 0, $p + $l);
$texte = substr($texte, $p + $l);
}
if ($avant) {
$paras[] = $avant;
}
if ($milieu) {
$paras[] = $milieu;
}
}
if ($texte) {
$paras[] = $texte;
}
return $paras;
}
public function ajouter($p) {
$this->r .= '<span class="diff-ajoute" title="' . _T('revisions:diff_texte_ajoute') . '">' . $p . '</span rem="diff-"> ';
}
public function supprimer($p_old) {
$this->r .= '<span class="diff-supprime" title="' . _T('revisions:diff_texte_supprime') . '">' . $p_old . '</span rem="diff-"> ';
}
public function comparer($p, $p_old) {
$this->r .= $p;
}
public function resultat() {
return $this->r;
}
}
function preparer_diff($texte) {
include_spip('inc/charsets');
$charset = $GLOBALS['meta']['charset'];
if ($charset == 'utf-8') {
return unicode_to_utf_8(html2unicode($texte));
}
return unicode_to_utf_8(html2unicode(charset2unicode($texte, $charset, true)));
}
function afficher_diff($texte) {
$charset = $GLOBALS['meta']['charset'];
if ($charset == 'utf-8') {
return $texte;
}
return charset2unicode($texte, 'utf-8');
}