JS: Avoid the special name getURL

This commit is contained in:
Asger Feldthaus
2020-04-09 09:41:00 +01:00
parent 7c5c9ea8ea
commit dc084628cc

View File

@@ -190,7 +190,7 @@ class BugTrackerInfo extends JSONValue {
}
/** Gets the bug tracker URL. */
string getURL() {
string getUrl() {
result = this.(JSONObject).getPropStringValue("url") or
result = this.(JSONString).getValue()
}