It seems to be a jQuery bit of code querying the api every 10 seconds.

No push or anything of the sort, so that's a bit of a shame.