wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-24 00:05:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Relate.../includes
History
Umherirrender 63ced7322b Use namespaced classes 
Changes to the use statements done automatically via script

Change-Id: I49107af15dcfd8264ebe49fe540402d44a4cd6a4
2024-06-10 20:16:42 +02:00
..
Hooks.php Use namespaced classes 2024-06-10 20:16:42 +02:00