[PATCH 5 of 5] extensions: use ui.log() interface to provide detailed loading information

[Augie Fackler]

On Sun, Dec 16, 2018 at 05:30:38PM +0900, Yuya Nishihara wrote:
> # HG changeset patch
> # User Yuya Nishihara <yuya at tcha.org>
> # Date 1544858909 -32400
> #      Sat Dec 15 16:28:29 2018 +0900
> # Node ID 181620a4c6fd6e9cd422e69ce0e7a07d6cf6c136
> # Parent  851dd18b181c113977b6b9bd903e9791a196460f
> extensions: use ui.log() interface to provide detailed loading information

queued, thanks