mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki
synced 2024-11-23 22:13:37 +00:00
f18556dd83
Changes to the use statements done automatically via script Change-Id: Id17b903f5656f588efa2dea0b190719e58e7b166 |
||
---|---|---|
.. | ||
Hooks.php | ||
InterwikiLogFormatter.php | ||
SpecialInterwiki.php |