From a100d00f4845c4624724348c0130fcd5f607070f Mon Sep 17 00:00:00 2001
From: Fil <fil@rezo.net>
Date: Thu, 18 Jan 2007 11:08:22 +0000
Subject: [PATCH] inc-public.php3 fait partie des 'vieilles defs', et on le
spip_log()
---
inc-public.php3 | 1 +
1 file changed, 1 insertion(+)
diff --git a/inc-public.php3 b/inc-public.php3
index 4c37dfd130..2f47abce32 100644
--- a/inc-public.php3
+++ b/inc-public.php3
@@ -3,4 +3,5 @@
# une fois tous les fichiers *.php3 supprimes de la racine, vous
# pouvez eliminer celui-ci aussi
include('spip.php');
+ spip_log('inc-public.php3 '.$GLOBALS['REQUEST_URI'], 'vieilles_defs');
?>
--
GitLab