diff --git a/ecrire/inc/vieilles_defs.php b/ecrire/inc/vieilles_defs.php index bf8e31c5374c343705641a4bd49caee96d18c8fb..177a51d0ce74265214dfbf4a4081573ef5fb16a5 100644 --- a/ecrire/inc/vieilles_defs.php +++ b/ecrire/inc/vieilles_defs.php @@ -186,30 +186,4 @@ function afficher_formulaire_date($script, $args, $texte, $jour, $mois, $annee) . "</form>"; } -// http://doc.spip.org/@test_lcs -function test_lcs($a, $b) { - $s = explode(" ", $a); - $t = explode(" ", $b); - - $t0 = explode(" ", microtime()); - list($r1, $r2) = lcs($s, $t); - $t1 = explode(" ", microtime()); - $dt = $t1[0] + $t1[1] - $t0[0] - $t0[1]; - echo join(" ", $r1)."<br />"; - echo join(" ", $r2)."<p>"; - echo "<div style='font-weight: bold; color: red;'>$dt s.</div>"; -} - -// http://doc.spip.org/@test_lcs_opt -function test_lcs_opt($s) { - $s = preg_split(',\s+,', $s); - - $t0 = explode(" ", microtime()); - $t = lcs_opt($s); - $t1 = explode(" ", microtime()); - $dt = $t1[0] + $t1[1] - $t0[0] - $t0[1]; - echo join(" ", $s)."<br />"; - echo join(" ", $t)."<p>"; - echo "<div style='font-weight: bold; color: red;'>$dt s.</div>"; -} -?> \ No newline at end of file +?>