original_string: protected function splitHeader($header)
      {
          list($name, $value) = explode(':', $header, 2);
          
          return [trim($name), trim($value), strtolower(trim($name))];
      }
code: protected function splitHeader($header)
      {
          list($name, $value) = explode(':', $header, 2);
          
          return [trim($name), trim($value), strtolower(trim($name))];
      }
code_tokens: protected function splitHeader ( $ header ) { list ( $ name , $ value ) = explode ( ':' , $ header , 2 ) ; return [ trim ( $ name ) , trim ( $ value ) , strtolower ( trim ( $ name ) ) ] ; }
docstring: Split a header string in name and value
  
  @param string $header
  @return array [name, value, key]
docstring_tokens: Split a header string in name and value