equal
deleted
inserted
replaced
472 cmd, ext, mod = extensions.disabledcmd(ui, name, |
472 cmd, ext, mod = extensions.disabledcmd(ui, name, |
473 ui.configbool('ui', 'strict')) |
473 ui.configbool('ui', 'strict')) |
474 doc = gettext(mod.__doc__).splitlines()[0] |
474 doc = gettext(mod.__doc__).splitlines()[0] |
475 |
475 |
476 rst = listexts(_("'%s' is provided by the following " |
476 rst = listexts(_("'%s' is provided by the following " |
477 "extension:") % cmd, {ext: doc}, indent=4) |
477 "extension:") % cmd, {ext: doc}, indent=4, |
|
478 showdeprecated=True) |
478 rst.append('\n') |
479 rst.append('\n') |
479 rst.append(_('(use "hg help extensions" for information on enabling ' |
480 rst.append(_('(use "hg help extensions" for information on enabling ' |
480 'extensions)\n')) |
481 'extensions)\n')) |
481 return rst |
482 return rst |
482 |
483 |