original_string: public function getBody()
      {
          if (!isset($this->body)) {
              if (function_exists('http_get_request_body')) {
                  $this->body = http_get_request_body();
              } else {
                  $this->body = @file_get_contents('php://input');
              }
          }
          return $this->body;
      }
code: public function getBody()
      {
          if (!isset($this->body)) {
              if (function_exists('http_get_request_body')) {
                  $this->body = http_get_request_body();
              } else {
                  $this->body = @file_get_contents('php://input');
              }
          }
          return $this->body;
      }
code_tokens: public function getBody ( ) { if ( ! isset ( $ this -> body ) ) { if ( function_exists ( 'http_get_request_body' ) ) { $ this -> body = http_get_request_body ( ) ; } else { $ this -> body = @ file_get_contents ( 'php://input' ) ; } } return $ this -> body ; }
docstring: Gets post body content
  
  @return string
docstring_tokens: Gets post body content