wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-03 12:37:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
514 commits 12 branches 4 tags 129 MiB
Commit graph

2 commits

Author SHA1 Message Date
Umherirrender 48e860916a build: Add mediawiki/mediawiki-phan-config 
Replace phan-taint-check-plugin by phan, it is now included

Change-Id: I0e682a83afd30faa8967e3c586431be4ae9a29b3
 2020-06-10 22:21:07 +02:00
Ed Sanders b3ca37c1c5 Create ImmutableRange class in PHP 
TODO: Create one in JS as well

Change-Id: I6c9dc2455afcb8d0b68674a2985c5e43dd94b6fb
 2020-05-22 15:01:09 +01:00