fix some travis bug

This commit is contained in:
lxsang 2020-06-22 12:37:34 +02:00
parent 9281cfb8db
commit ae11223c0c

View File

@ -709,16 +709,16 @@ namespace OS {
String.prototype.trimLeft = function(charlist: string): string {
if (charlist === undefined) charlist = "s";
return this.replace(new RegExp("^[" + charlist + "]+"), "");
return this.replace(new RegExp("^[" + charlist + "]+"), "") as string;
};
String.prototype.trimRight = function(charlist: string): string {
if (charlist === undefined) charlist = "s";
return this.replace(new RegExp("[" + charlist + "]+$"), "");
return this.replace(new RegExp("[" + charlist + "]+$"), "") as string;
};
String.prototype.trimBy = function (charlist: string) {
return this.trimLeft(charlist).trimRight(charlist);
String.prototype.trimBy = function(charlist: string): string {
return this.trimLeft(charlist).trimRight(charlist) as string;
};
Date.prototype.toString = function(): string {
let dd = this.getDate();