wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-04 21:08:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
2653 commits 12 branches 4 tags 130 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 1f002f812f Convert more self:: to static:: 
These are from patches that were already in progress before
we did the first run of conversions.

Change-Id: Id883e693a518130cfcc80bfd0f2874cbd9593446
 2022-06-14 22:53:00 +01:00
Ed Sanders c96c076a4e Follow-up I46a58f6a: Add missing test runner 
Change-Id: I17438cf55959d146265f3aafa5940f7fe0de19e1
 2022-06-07 16:09:04 +01:00