mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll
synced 2024-11-15 03:04:14 +00:00
4152936362
- Removing -moz-border-radius since it's unnecessary - Lowercasing color values - Removing unnecessary unit for 0 value Bug: T154049 Change-Id: I210ba9c971f18ce2b62fb2fe845cd90cca2901d5 |
||
---|---|---|
.. | ||
ajaxpoll.css | ||
ajaxpoll.js |