wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-27 16:50:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/tests/phpunit
History
Umherirrender 0b870852d8 Use namespaced classes 
Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: Idc09b4f3e1ffa40f234b34cd8c0c515bd58ce67b
2024-06-09 11:27:57 +02:00
..
integration Use namespaced classes 2024-06-09 11:27:57 +02:00
unit Improve localisation on Special:Gadgets, minor code cleanups 2024-03-25 15:37:40 -07:00
GadgetTestTrait.php Use ObjectCacheFactory instead of the deprecated ObjectCache methods 2024-05-27 12:48:04 +00:00