wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-23 23:44:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/maintenance
History
Umherirrender ad1e665d5b Use namespaced classes 
Changes to the use statements done automatically via script

Change-Id: I2883f6ccb1b3019cddcc2c957d022acf2d5c0ff7
2024-10-20 09:25:08 +02:00
..
migrateNamespace.php Use namespaced classes 2024-10-20 09:25:08 +02:00
migrateTagTemplate.php Use namespaced classes 2024-10-20 09:25:08 +02:00