// Requesting channel data here const $ = require('jquery') const got = require('got') const msg = require('./messages.js') const ANY_CHANNEL = 0 const VOICE_KIND = 1 const TEXT_KIND = 2 /** * Channel button id's have the format of ${hostname}:${channel['name']} * Helper function that literally just pushes out some bs to the DOM * * @param {String} server.hostname * @param {u16} server.port * @param {String} server.protocol * * @param {u64} user.id * @param {String} user.jwt * * @param {u64} channel.id * @param {String} channel.name * @param {String} channel.description * @param {i32} channel.kind */ function push(server, user, channel) { $('#channels-list').append( $('
  • ').append( $('

    ').append( $('