wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-17 13:12:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
690 commits 146 branches 0 tags 124 MiB
Commit graph

3 commits

Author SHA1 Message Date
James D. Forrester d6c3df31f5 Remove various phan suppressions and fix issues 
Change-Id: I73b535f284566a0a8876a3198b9784b47567fac6
 2020-06-12 20:35:59 +01:00
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