wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-14 19:25:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CiteTh.../includes
History
Umherirrender d34b16c876 Use namespaced classes 
Done automatically via script

Change-Id: I2a446ff3851411ad74f88514002c7b76102a7e78
2023-12-10 23:17:18 +01:00
..
Hooks.php Use namespaced classes 2023-12-10 23:17:18 +01:00
SpecialCiteThisPage.php Use namespaced classes 2023-12-10 23:17:18 +01:00