wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-12-18 09:20:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Thanks/includes/Storage
History
Umherirrender c697355f04 Use namespaced classes 
Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: I230ada2f4ad95f86593759e8320d47acdf06a749
2024-10-20 13:21:21 +02:00
..
Exceptions
LogStore.php Use namespaced classes 2024-10-20 13:21:21 +02:00