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 0ee100a783 Use namespaced classes 
Changes to the use statements done automatically via script

Change-Id: I323761f4e1fa51417743e3d0e38b1de2efa61f5a
2024-10-19 23:29:00 +02:00
..
Hooks.php Use namespaced classes 2023-12-10 23:17:18 +01:00
SpecialCiteThisPage.php Use namespaced classes 2024-10-19 23:29:00 +02:00