original_string: protected function readFileAndExit($file, $mimeType)
      {
          $file->getStorage()->dumpFileContents($file, true, null, $mimeType);
          exit;
      }
code: protected function readFileAndExit($file, $mimeType)
      {
          $file->getStorage()->dumpFileContents($file, true, null, $mimeType);
          exit;
      }
code_tokens: protected function readFileAndExit ( $ file , $ mimeType ) { $ file -> getStorage ( ) -> dumpFileContents ( $ file , true , null , $ mimeType ) ; exit ; }
docstring: Calls the PHP readfile function and exits.
  
  @param FileInterface $file The file that should be read.
  @param string $mimeType Optional mime type override. If empty the automatically detected mime type will be used.
docstring_tokens: Calls the PHP readfile function and exits .