wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-23 15:16:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../includes
History
Umherirrender da5557f2b1 Use namespaced classes 
Changes to the use statements done automatically via script

Change-Id: I26b401810cef736f467d7dd6deca6a198afeec34
2024-06-08 22:44:14 +02:00
..
Hooks.php Use namespaced classes 2023-12-10 23:17:18 +01:00
SpecialCiteThisPage.php Use namespaced classes 2024-06-08 22:44:14 +02:00