web/common.php
changeset 220 42aeb2bfc58e
parent 219 66fa89a3d42c
child 227 ffdfdf0b5d3c
--- a/web/common.php	Thu Jul 07 16:40:17 2011 +0200
+++ b/web/common.php	Mon Jul 18 10:42:35 2011 +0200
@@ -12,6 +12,9 @@
 
 
 include_once dirname(__FILE__).'/traduction.php';
+if(isset($config) && isset($config['rep']) && file_exists(dirname(__FILE__).'/'.$config['rep'].'/traduction.php')) {
+	include_once dirname(__FILE__).'/'.$config['rep'].'/traduction.php';
+}
 
 
 /**