rename String.extension() -> String.get_extension() / String.basename() -> String.get_basename()

This commit is contained in:
Juan Linietsky
2017-01-14 00:51:09 -03:00
parent f3b6177ece
commit d9d77291bc
51 changed files with 113 additions and 113 deletions

View File

@ -3812,7 +3812,7 @@ String String::get_file() const {
return substr(sep+1,length());
}
String String::extension() const {
String String::get_extension() const {
int pos = find_last(".");
if (pos<0)
@ -3891,7 +3891,7 @@ String String::percent_decode() const {
return String::utf8(pe.ptr());
}
String String::basename() const {
String String::get_basename() const {
int pos = find_last(".");
if (pos<0)