From c9eeb6ca83fafe6e67b350837d7f2dae9b3907ba Mon Sep 17 00:00:00 2001 From: Antoine Pitrou <pitrou@free.fr> Date: Wed, 7 Aug 2002 12:40:03 +0000 Subject: [PATCH] oupss --- inc-public.php3 | 8 -------- 1 file changed, 8 deletions(-) diff --git a/inc-public.php3 b/inc-public.php3 index 440a6712f0..2f85723ebc 100644 --- a/inc-public.php3 +++ b/inc-public.php3 @@ -1,16 +1,8 @@ <?php if (!defined("_INC_PUBLIC")) { - $t = microtime(); - define("_INC_PUBLIC", "1"); include("inc-public-global.php3"); - - $tt = microtime(); - $t = explode(" ", $t); - $tt = explode(" ", $tt); - $dt = ($tt[1] + (float) $tt[0]) - ($t[1] + (float) $t[0]); - echo "resultat en $dt secondes.<p>"; } else { $fichier_requete = $fond; -- GitLab