2 commits

Author	SHA1	Message	Date
Thomas Gries	1292f3b142	version 1.72 -- schema change. database rename . dropping an unused table field. follow up r113772	2012-03-14 20:19:16 +00:00
Jack Phoenix	0798ccf8e1	adding AJAX Poll extension. JavaScript should be cleaned up (and maybe rewritten to use jQuery?) so that we can support ResourceLoader and functions in AJAXPoll.php should be moved into a new class instead of them being in the global scope.	2011-10-09 18:35:17 +00:00