| 582,7 → 582,12 |
|---|
| else { |
| // attend l'un des formats de |
| // http://www.php.net/manual/fr/datetime.formats.date.php |
| // le plus simple: YYYY/MM/DD (utilisé à l'export) |
| // le plus simple: YYYY/MM/DD (utilisé à l'export), mais DD-MM-YYYY est aussi supporté |
| $matches = NULL; |
| // et on essaie d'être sympa et supporter aussi DD/MM/YYYY |
| if(preg_match(';^([0-3]?\d)/([01]\d)/([12]\d\d\d)$;', $date, $matches)) { |
| $date = $matches[3] . '/' . $matches[2] . '/' . $matches[1]; |
| } |
| $timestamp = strtotime($date); |
| if(! $timestamp) { |
| if($date) trigger_error("ligne \"{$ligne[C_NOM_SEL]}\": Attention: date erronée ($date)", E_USER_NOTICE); |
| 602,6 → 607,7 |
|---|
| |
| if($referentiel) { |
| trigger_error("ligne \"{$ligne[C_NOM_SEL]}\": Attention: référentiel inconnu", E_USER_NOTICE); |
| return 'autre'; |
| } |
| return NULL; |
| /* TODO: cf story, |