wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-11 17:00:10 +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 Directory reshuffle, add dev tools 2014-08-01 22:38:41 +00:00