private function stripLeadingWhitespace($string) { return preg_replace('/^\\s*(.*)/', '', $string); }
