3 // Le saca los ceros (y otros posibles caracteres).
4 function sacar_ceros($doc) {
8 // Invierte la fecha para que pueda ser interpretada por MySQL.
9 function invertir_fecha($fecha) {
10 return preg_replace('/(\d{2})(\d{2})(\d{4})/', '\3\2\1', $fecha);
14 function corregir_hora($hora) {
15 preg_match('/([^:]{0,2})(:?)([^:]{0,2})/', $hora, $m);
16 return sprintf('%02d:%02d', sacar_ceros($m[1]), sacar_ceros($m[3]));
19 // Corrige el tipo de feriado.
20 function corregir_feriado($tipo) {
23 return 'no laborable';
32 // Corrige la descripción.
33 function corregir_descripcion($desc) {
34 return strtr($desc, '#', 'Ñ');