wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 23:44:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/scripts
History
Umherirrender 54b57bcf26 Use ::class for class name resolution 
Change-Id: I9e7d92d92901ecf1195bce652e77741e1c592d59
2022-06-16 22:36:46 +02:00
..
gen-autoload.php Use ::class for class name resolution 2022-06-16 22:36:46 +02:00
remotecheck.sh