wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 02:51:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
44 commits 13 branches 4 tags 131 MiB
Commit graph

1 commit

Author SHA1 Message Date
Ed Sanders 16de8fb288 Rewrite list modifier in plain JS and move to separate file 
Change-Id: Idc4867f1fe266de21e8964e5887aabd545d6c7ee
 2019-11-05 14:13:18 +00:00