Actualización de archivo corrupto horario.php