| 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'; +} /**