static/js/pages/frontpage_refresh.js


1
2
3
4
5
6
7
8
9
10
11

// Frontpage-only helper.
// The legacy frontpage HTML calls `refreshing()` via <body onload="refreshing()">.

if (typeof window.refreshing !== 'function') {
  window.refreshing = function refreshing() {
    var el = document.getElementsByName('posts')[0];
    if (el) { el.src = el.src; }
    setTimeout(refreshing, 300000);
  };
}