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

3 commits

Author SHA1 Message Date
libraryupgrader 66f8167324 build: Updating eslint-config-wikimedia to 0.18.0 
Additional changes:
* Removing manual extensions for eslint.

Change-Id: I90163b8fe1885a4969a74b4b3e1fb29fe1fa57e9
 2021-01-27 13:24:33 +00:00
Siebrand Mazeland 67daaf5a32 Add tests 
Fix all issues so tests pass.

Change-Id: I80408432a42f1b1df265e81cc4eff784d8c59a2e
 2015-10-16 01:38:33 +01:00
Siebrand Mazeland 82bbec257f Migrate to JSON i18n 
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I82fbdd86a86feb717443d4133200ab0d4e7b859f
 2014-03-31 08:21:41 +02:00