wikimedia/mediawiki-extensions-AJAXPoll
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll synced 2024-11-15 11:11:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/AJAXPoll
54 commits 26 branches 0 tags 6.4 MiB
PHP 84.5%
JavaScript 9.6%
CSS 5.9%
Go to file
Thomas Gries 5be0d48bfe follow up r113839 fixes the initial database creation problem. relies on r113862 .
2012-03-14 21:43:56 +00:00
patches follow up r113839 fixes the initial database creation problem. relies on r113862 . 2012-03-14 21:43:56 +00:00
resources css change . highlighting only the smaller label element looks better and not so alerting 2012-03-13 22:48:18 +00:00
AJAXPoll.i18n.php Localisation updates for core and extension messages from translatewiki.net 2012-03-14 20:55:01 +00:00
AJAXPoll.php follow up r113839 fixes the initial database creation problem. relies on r113862 . 2012-03-14 21:43:56 +00:00
AJAXPoll_body.php follow up r113839 fixes the initial database creation problem. relies on r113862 . 2012-03-14 21:43:56 +00:00