diff --git a/ecrire/inc_layer.php3 b/ecrire/inc_layer.php3 index 3b5db56f92b0743fadb334fa5b15f0d5ed05022b..9a687390e2ab79831b65d729bd3fa8c18ce9603f 100644 --- a/ecrire/inc_layer.php3 +++ b/ecrire/inc_layer.php3 @@ -132,6 +132,10 @@ function verif_butineur() { if (!$browser_name) $browser_name = "Mozilla"; } +// Obsolete. Present pour compatibilite +function afficher_script_layer(){echo $GLOBALS['browser_layer'];} +function test_layer(){return $GLOBALS['browser_layer'];} + verif_butineur(); $GLOBALS['browser_caret'] = (!$GLOBALS['browser_barre'] ? '' : "