Lie's second theorem for Weinstein groupoids

Let $A$ and $B$ be Lie algebroids, let $\phi:A\to B$ be a morphism, and let $\mathcal{H}(A)$ be the Weinstein groupoid associated to $A$. Let $\mathcal{G}$ be any Weinstein groupoid integrating $B$, and let $d\Phi$ denote the Lie-algebroid morphism induced by a morphism $\Phi$ of Weinstein groupoids.

Lie's second theorem. For any morphism of Lie algebroids $\phi:A\to B$, there is a unique morphism $\Phi$ from the Weinstein groupoid $\mathcal{H}(A)$ to any Weinstein groupoid $\mathcal{G}$ integrating $B$, such that

$$d\Phi=\phi.$$

This is the proposed functoriality statement for Weinstein-groupoid integration of Lie-algebroid morphisms. The supplied text gives no evidence that it has been resolved.