+ <script>
+ window.onload = function() {
+ for (cb of document.getElementsByTagName('input')) {
+ if (cb.parentElement.parentElement.classList.contains('eliminated'))
+ continue;
+ cb.addEventListener('click', (function(cb) {
+ return function() {
+ cb.style.display = 'none'
+ const spin = document.createElement('div')
+ spin.appendChild(document.createTextNode('⏳'))
+ cb.parentElement.insertBefore(spin, cb)
+
+ const req = new XMLHttpRequest()
+ req.addEventListener('load', function(e) {
+ cb.parentElement.removeChild(cb.previousElementSibling)
+ if (req.status == 200) {
+ cb.style.display = ''
+ const delta = cb.checked ? 1 : -1
+ const count_td = cb.parentElement.previousElementSibling
+ count_td.textContent = parseInt(count_td.textContent) + delta
+ } else {
+ cb.parentElement.insertBefore(document.createTextNode('❗'), cb)
+ }
+ })
+ req.open('PUT', window.location.href)
+ req.send((cb.checked ? 1 : 0) + ' ' + cb.parentElement.nextElementSibling.innerHTML)
+ }
+ })(cb))
+ cb.disabled = false
+ }
+ }
+ function num_cmp(a, b) {
+ return parseInt(b.textContent) - parseInt(a.textContent)
+ }
+ function str_cmp(a, b) {
+ if (a.textContent < b.textContent) return -1
+ if (a.textContent > b.textContent) return 1
+ return 0
+ }
+ function checked_cmp(a, b) {
+ vs = [a, b].map(x => {
+ const v = x.children[0].checked + 0
+ return isNaN(v) ? -1 : v
+ })
+ return vs[1] - vs[0]
+ }
+ function sort_table(col, cmp) {
+ const rows = Array.from(document.getElementsByTagName('tr'))
+ rows.shift()
+ rows.sort((a, b) => cmp(a.children[col], b.children[col]))
+ for (row of rows) {
+ row.parentElement.appendChild(row)
+ }
+ }
+ </script>