Update the extension failure error to use the modern button text.

Review Request #12401 — Created June 21, 2022 and submitted — Latest diff uploaded

Information

Djblets
release-3.x

Reviewers

When an extension fails to load, we give basic instructions on how to
fix it. Those instructions reference "Scan for installed extensions",
which is an old label for the button.

This change updates the instructions to say "Reload Extensions" instead.

Loaded the extensions list, which had a bunch of missing extensions. Saw
the revised text.

Commits

Files