inc-public.php3 fait partie des 'vieilles defs', et on le spip_log()

a100d00f · Fil · 7bc2f4a8 · a100d00f
--- 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');
 ?>