[PATCH 2 of 2 v2] extensions: add detailed loading information

[Yuya Nishihara]

On Wed, 01 Aug 2018 17:29:40 +0200, Martijn Pieters wrote:
> # HG changeset patch
> # User Martijn Pieters <mj at zopatista.com>
> # Date 1533132413 -7200
> #      Wed Aug 01 16:06:53 2018 +0200
> # Branch stable
> # Node ID 07ca3b8354d59c70db5f10448e53d4bbfd50e72e
> # Parent  2bad2ee57e26f05f99a81715e781f7978515b705
> # EXP-Topic debugextensions
> extensions: add detailed loading information

> +    if ui.configbool('devel', 'debug.extensions'):
> +        log = lambda msg, *values: ui.debug('debug.extensions: ',
> +            msg % values, label='debug.extensions')
> +    else:
> +        log = lambda *a, **kw: None

Seems like we're reinventing ui.log(). Can't this be a blackbox feature?