From 2606ea2d21220b79db8c303812403f2ee8033a87 Mon Sep 17 00:00:00 2001 From: James <james@rezo.net> Date: Wed, 20 Dec 2006 16:20:11 +0000 Subject: [PATCH] code vraiment mort :) --- ecrire/inc/vieilles_defs.php | 28 +--------------------------- 1 file changed, 1 insertion(+), 27 deletions(-) diff --git a/ecrire/inc/vieilles_defs.php b/ecrire/inc/vieilles_defs.php index bf8e31c537..177a51d0ce 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 +?> -- GitLab