mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-11-24 08:23:28 +00:00
15dbbe94d5
Changes to the use statements done automatically via script Addition of missing use statement done manually Change-Id: Ie00aedfe607665e8a38ee4ce2475f25b82a1d8cf |
||
---|---|---|
.. | ||
MobileFrontendHookHandlers.php | ||
ParserFileProcessingHookHandlers.php | ||
SearchResultProvideThumbnailHookHandler.php |