wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-15 02:54:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Thanks/includes/Storage
History
Umherirrender f5db77c750 Use namespaced classes 
This requires 1.42 for some new names

Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: I1b433ab02231087e0f84a734092751ce2cf28b2c
2024-01-04 22:22:56 +01:00
..
Exceptions API: Refactor to match modern code standards 2023-05-20 17:57:26 +03:00
LogStore.php Use namespaced classes 2024-01-04 22:22:56 +01:00