code: def file_data_to_str(data):
      
      if not data:
          return _('<i>File name not recorded</i>')
      res = data['name']
      try:
          mtime_as_str = time.strftime('%Y-%m-%d %H:%M:%S',
                                       time.localtime(data['mtime']))
          res += '<br><i>{}</i>: {}'.format(_('Last modified'), mtime_as_str)
          res += '<br><i>{}</i>: {} {}'.format(
                  _('Size'), data['size'], _('bytes'))
      except KeyError:
          res += '<br>' + _('<i>File no longer exists</i>')
      return res
docs: Convert file data to a string for display.
  
      This function takes the file data produced by gather_file_data().