original_string: private static function getHeaders($recognizedHeaders)
      {
          $headers = array();
  
          foreach ($recognizedHeaders as $header) {
              if (isset($_SERVER[$header])) {
                  $headers[] = $header;
              }
          }
  
          return $headers;
      }
code: private static function getHeaders($recognizedHeaders)
      {
          $headers = array();
  
          foreach ($recognizedHeaders as $header) {
              if (isset($_SERVER[$header])) {
                  $headers[] = $header;
              }
          }
  
          return $headers;
      }
code_tokens: private static function getHeaders ( $ recognizedHeaders ) { $ headers = array ( ) ; foreach ( $ recognizedHeaders as $ header ) { if ( isset ( $ _SERVER [ $ header ] ) ) { $ headers [ ] = $ header ; } } return $ headers ; }
docstring: Get headers present in the HTTP request
  
  @param array $recognizedHeaders
  @return array HTTP headers
docstring_tokens: Get headers present in the HTTP request