String::trim()
Remove whitespace from both the start and end of this string.
public method trim(this: String): String { this.trim_left().trim_right() }