web/common.php
changeset 227 ffdfdf0b5d3c
parent 225 a3151877c857
parent 220 42aeb2bfc58e
child 229 74c9ddc3640b
--- a/web/common.php	Thu Jul 07 17:53:21 2011 +0200
+++ b/web/common.php	Mon Jul 18 13:39:30 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';
+}
 
 
 /**