mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-11-24 00:13:27 +00:00
3703c048cc
Changes to the use statements done automatically via script Addition of missing use statement done manually Change-Id: I780e57da1ea02eb333cf61abd999dc737acf20d1 |
||
---|---|---|
.. | ||
MobileFrontendHookHandlers.php | ||
ParserFileProcessingHookHandlers.php | ||
SearchResultProvideThumbnailHookHandler.php |