wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-14 19:35:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Bartosz Dziewoński 433e57394c Use PHP 7.4 property types 
Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
2022-10-28 21:56:38 +02:00
..
manageForeignResources.php maintenance: Use standard doMaintenance boilerplate 2022-09-30 18:01:57 +02:00
persistRevisionThreadItems.php Use PHP 7.4 property types 2022-10-28 21:56:38 +02:00