original_string: public function load($file) {
          // Handle the case where file is a resource.
          if (is_resource($file)) {
              // FIXME: We need a StreamInputStream class.
              return $this->loadHTML(stream_get_contents($file));
          }
  
          $input = new HTML5_Inputstream_File($file);
  
          return $this->parse($input);
      }
code: public function load($file) {
          // Handle the case where file is a resource.
          if (is_resource($file)) {
              // FIXME: We need a StreamInputStream class.
              return $this->loadHTML(stream_get_contents($file));
          }
  
          $input = new HTML5_Inputstream_File($file);
  
          return $this->parse($input);
      }
code_tokens: public function load ( $ file ) { // Handle the case where file is a resource. if ( is_resource ( $ file ) ) { // FIXME: We need a StreamInputStream class. return $ this -> loadHTML ( stream_get_contents ( $ file ) ) ; } $ input = new HTML5_Inputstream_File ( $ file ) ; return $ this -> parse ( $ input ) ; }
docstring: Load and parse an HTML file.
  
  This will apply the HTML5 parser, which is tolerant of many
  varieties of HTML, including XHTML 1, HTML 4, and well-formed HTML
  3. Note that in these cases, not all of the old data will be
  preserved. For example, XHTML's XML declaration will be removed.
  
  The rules governing parsing are set out in the HTML 5 spec.
  
  @param string $file
  The path to the file to parse. If this is a resource, it is
  assumed to be an open stream whose pointer is set to the first
  byte of input.
  @return \DOMDocument A DOM document. These object type is defined by the libxml
  library, and should have been included with your version of PHP.
docstring_tokens: Load and parse an HTML file .