mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-27 17:20:12 +00:00
ad1e665d5b
Changes to the use statements done automatically via script Change-Id: I2883f6ccb1b3019cddcc2c957d022acf2d5c0ff7 |
||
---|---|---|
.. | ||
migrateNamespace.php | ||
migrateTagTemplate.php |