wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-27 15:50:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Interwiki/includes
History
Umherirrender 0a1ff5fadd Use namespaced classes 
Done automatically via script

Change-Id: Idb2384889f9beb01919ae48427681bf7d047c61f
2024-01-06 17:30:06 +01:00
..
Hooks.php Use HookHandlers for core hook 2023-08-15 12:43:27 +02:00
InterwikiLogFormatter.php Namespace extension 2021-03-14 05:40:38 +00:00
SpecialInterwiki.php Use namespaced classes 2024-01-06 17:30:06 +01:00