Extracted from Pike v8.0 release 276 as of 2016-07-30.
   

Method String.trim_all_whites()


Method trim_all_whites

string trim_all_whites(string s)

Description

Trim leading and trailing white spaces characters (space, tab, newline, carriage return, form feed, vertical tab and all the white spaces defined in Unicode) from the string s.