original_string: private function writeIntVector($file, array $value, $indentation)
      {
          fwrite($file, ":intvector{\n");
  
          foreach ($value as $int) {
              fprintf($file, "%s%d,\n", str_repeat('    ', $indentation + 1), $int);
          }
  
          fprintf($file, '%s}', str_repeat('    ', $indentation));
      }
code: private function writeIntVector($file, array $value, $indentation)
      {
          fwrite($file, ":intvector{\n");
  
          foreach ($value as $int) {
              fprintf($file, "%s%d,\n", str_repeat('    ', $indentation + 1), $int);
          }
  
          fprintf($file, '%s}', str_repeat('    ', $indentation));
      }
code_tokens: private function writeIntVector ( $ file , array $ value , $ indentation ) { fwrite ( $ file , ":intvector{\n" ) ; foreach ( $ value as $ int ) { fprintf ( $ file , "%s%d,\n" , str_repeat ( '    ' , $ indentation + 1 ) , $ int ) ; } fprintf ( $ file , '%s}' , str_repeat ( '    ' , $ indentation ) ) ; }
docstring: Writes an "intvector" node.
  
  @param resource $file        The file handle to write to
  @param array    $value       The value of the node
  @param int      $indentation The number of levels to indent
  
  @see http://source.icu-project.org/repos/icu/icuhtml/trunk/design/bnf_rb.txt
docstring_tokens: Writes an intvector node .