UrlFormatter: Fix Javadoc of getSettingsUrl()

This method is intended to return the URL of the setting page,
not a section of it. The latter is done by the variant of the
method that takes a section parameter.

Change-Id: I3e9fba38ef78310c80115e0727378fce04950d62
This commit is contained in:
David Pursehouse
2020-02-29 13:02:17 +09:00
parent ff3b433f40
commit 1850784218

View File

@@ -60,7 +60,7 @@ public interface UrlFormatter {
.map(url -> url + String.format("@%s%d", side == 0 ? "a" : "", startLine));
}
/** Returns a URL pointing to a section of the settings page. */
/** Returns a URL pointing to the settings page. */
default Optional<String> getSettingsUrl() {
return getWebUrl().map(url -> url + "settings");
}