dany/antos-frontend
1
0
Fork 0
mirror of https://github.com/lxsang/antos-frontend.git synced 2024-12-27 01:38:21 +01:00
Code Issues 1 Actions Projects Releases Wiki Activity

fix API overriden bug

Browse Source
This commit is contained in:
lxsang 2020-06-22 12:58:10 +02:00
parent 764d44388e
commit 377edcffb4
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/core/core.ts
View File

@ -136,7 +136,7 @@ interface String {
* @returns {string} * @returns {string}
* @memberof String * @memberof String
*/ */
trimLeft(arg: string): string; trimFromLeft(arg: string): string;
/** /**
* Trim right of a string by a mask string * Trim right of a string by a mask string
@ -145,7 +145,7 @@ interface String {
* @returns {string} * @returns {string}
* @memberof String * @memberof String
*/ */
trimRight(arg: string): string; trimFromRight(arg: string): string;
/** /**
* Trim both left and right of a string by a mask string * Trim both left and right of a string by a mask string
@ -706,19 +706,19 @@ namespace OS {
} }
return API.lang[this]; return API.lang[this];
}; };
String.prototype.trimLeft = function(charlist: string): string { String.prototype.trimFromLeft = function(charlist: string): string {
if (charlist === undefined) charlist = "s"; if (charlist === undefined) charlist = "s";
return this.replace(new RegExp("^[" + charlist + "]+"), "") as string; return this.replace(new RegExp("^[" + charlist + "]+"), "") as string;
}; };
String.prototype.trimRight = function(charlist: string): string { String.prototype.trimFromRight = function(charlist: string): string {
if (charlist === undefined) charlist = "s"; if (charlist === undefined) charlist = "s";
return this.replace(new RegExp("[" + charlist + "]+$"), "") as string; return this.replace(new RegExp("[" + charlist + "]+$"), "") as string;
}; };
String.prototype.trimBy = function(charlist: string): string { String.prototype.trimBy = function(charlist: string): string {
return this.trimLeft(charlist).trimRight(charlist) as string; return this.trimFromLeft(charlist).trimFromRight(charlist) as string;
}; };
Date.prototype.toString = function(): string { Date.prototype.toString = function(): string {
let dd = this.getDate(); let dd = this.getDate();