JS: Rename other uses of getURL

This commit is contained in:
Asger Feldthaus
2020-04-14 19:45:09 +01:00
parent 88667206fc
commit 1107e7c6a6

View File

@@ -233,7 +233,7 @@ class ContributorInfo extends JSONValue {
}
/** Gets the contributor's homepage URL. */
string getURL() {
string getUrl() {
result = this.(JSONObject).getPropStringValue("url") or
result = parseInfo(3)
}
@@ -249,7 +249,7 @@ class RepositoryInfo extends JSONObject {
string getType() { result = getPropStringValue("type") }
/** Gets the repository URL. */
string getURL() { result = getPropStringValue("url") }
string getUrl() { result = getPropStringValue("url") }
}
/**