original_string: private static function formatUserAgentProduct($product, $version = null, $comment = null)
      {
          $productString = $product;
          if ($version) {
              $productString .= '/' . $version;
          }
          if ($comment) {
              $productString .= ' (' . $comment . ')';
          }
          return $productString;
      }
code: private static function formatUserAgentProduct($product, $version = null, $comment = null)
      {
          $productString = $product;
          if ($version) {
              $productString .= '/' . $version;
          }
          if ($comment) {
              $productString .= ' (' . $comment . ')';
          }
          return $productString;
      }
code_tokens: private static function formatUserAgentProduct ( $ product , $ version = null , $ comment = null ) { $ productString = $ product ; if ( $ version ) { $ productString .= '/' . $ version ; } if ( $ comment ) { $ productString .= ' (' . $ comment . ')' ; } return $ productString ; }
docstring: Formats a product for a User-Agent HTTP header.
  
  @param   string  $product   the product name
  @param   string  $version   (optional) product version
  @param   string  $comment   (optional) comment about the product.
  
  @return  string  a formatted User-Agent string (`PRODUCT/VERSION (COMMENT)`)
docstring_tokens: Formats a product for a User - Agent HTTP header .