parameters: (output_file, translations)
docstring: Writes the provided list of translations to the provided output file
      in the format used by the TC's Bulk Translation Upload tool.  The file
      must be UTF-8 encoded.
  
      Args:
        output_file: util.WrapOutputStream(open('bingo.out', 'w'))
        translations: [ [id1, text1], ['12345678', 'Hello USERNAME, howzit?'] ]
  
      Return:
        None
docstring_summary: Writes the provided list of translations to the provided output file
      in the format used by the TC's Bulk Translation Upload tool.  The file
      must be UTF-8 encoded.
docstring_tokens: Writes the provided list of translations to the provided output file in the format used by the TC s Bulk Translation Upload tool . The file must be UTF - 8 encoded .
function: def WriteTranslations(output_file, translations):
      '''Writes the provided list of translations to the provided output file
      in the format used by the TC's Bulk Translation Upload tool.  The file
      must be UTF-8 encoded.
  
      Args:
        output_file: util.WrapOutputStream(open('bingo.out', 'w'))
        translations: [ [id1, text1], ['12345678', 'Hello USERNAME, howzit?'] ]
  
      Return:
        None
      '''
      for id, text in translations:
        text = text.replace('<', '&lt;').replace('>', '&gt;')
        output_file.write(id)
        output_file.write(' ')
        output_file.write(text)
        output_file.write('\n')
function_tokens: def WriteTranslations ( output_file , translations ) : for id , text in translations : text = text . replace ( '<' , '&lt;' ) . replace ( '>' , '&gt;' ) output_file . write ( id ) output_file . write ( ' ' ) output_file . write ( text ) output_file . write ( '\n' )