wikimedia/mediawiki-extensions-AJAXPoll
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll synced 2024-12-23 20:13:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
53 commits 26 branches 0 tags 7.1 MiB
Commit graph

53 commits

This branch
This branch
All branches
Author SHA1 Message Date
Siebrand Mazeland ea6f213ff2 Rename no to nb (step 4/4): Change 'no' to 'nb' in remaining files. 2011-12-25 09:42:00 +00:00
Brion Vibber 804f94f3f9 Update a butt-ton of extension about URLs to point to https://www.mediawiki.org/ 2011-12-13 23:49:33 +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