From d22d2e78bf3ff5e0b76c53bf0efca4a6e0e21142 Mon Sep 17 00:00:00 2001
From: martignoni <martignoni>
Date: Tue, 1 Mar 2005 10:34:52 +0000
Subject: [PATCH] Made new serverurl more standard

---
 lang/fr/resource.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lang/fr/resource.php b/lang/fr/resource.php
index bc2050f5d6d..b7557bbbb35 100644
--- a/lang/fr/resource.php
+++ b/lang/fr/resource.php
@@ -67,7 +67,7 @@ $string['resourcetypehtml'] = 'Composer une page web';
 $string['resourcetypelabel'] = 'Insérer une étiquette';
 $string['resourcetypetext'] = 'Composer une page de texte';
 $string['searchweb'] = 'Rechercher une page web';
-$string['serverurl'] = '$CFG->wwwroot';
+$string['serverurl'] = 'URL du serveur ($a->wwwroot)';
 $string['variablename'] = 'Nom de la variable';
 
 // The following strings are to be deleted after 1.4 release