Actualización de PHPLib

El equipo de PHPLib ha hecho pública la versión 7.2d de su librería de utilidades PHP, que soluciona un grave problema de seguridad.