equal
deleted
inserted
replaced
232 |
232 |
233 // Check for user activity every 30 seconds. |
233 // Check for user activity every 30 seconds. |
234 window.setInterval( checkUserActivity, 30000 ); |
234 window.setInterval( checkUserActivity, 30000 ); |
235 |
235 |
236 // Start one tick after DOM ready. |
236 // Start one tick after DOM ready. |
237 $document.ready( function() { |
237 $( function() { |
238 settings.lastTick = time(); |
238 settings.lastTick = time(); |
239 scheduleNextTick(); |
239 scheduleNextTick(); |
240 }); |
240 }); |
241 } |
241 } |
242 |
242 |