this snippet implements "string".trim() in Javascript, as found in many other languages.
if!Stringprototypetrim
return thisreplace/^\s*/""replace/\s*$/"";
another for basename():
if!Stringprototypebasename
return thisreplace/^.*\//'';