wikimedia/mediawiki-extensions-AJAXPoll
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll synced 2024-11-15 19:19:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/AJAXPoll
52 commits 26 branches 0 tags 6.4 MiB
PHP 84.5%
JavaScript 9.6%
CSS 5.9%
Go to file
Thomas Gries f52b0c916a follow up r113837 oops, i forgot to make the corresponding database changes in the code
2012-03-14 20:28:16 +00:00
patches version 1.72 -- schema change. database rename . dropping an unused table field. follow up r113772 2012-03-14 20:19:16 +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-13 20:50:02 +00:00
AJAXPoll.php version 1.72 -- schema change. database rename . dropping an unused table field. follow up r113772 2012-03-14 20:19:16 +00:00
AJAXPoll_body.php follow up r113837 oops, i forgot to make the corresponding database changes in the code 2012-03-14 20:28:16 +00:00