Extracted from Pike v8.0 release 28 as of 2015-09-20.
   

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.