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