mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages
synced 2024-11-24 00:13:27 +00:00
09d47340eb
Suggested by phan, available since php7.4 Change-Id: Iadee84c7b62f9aeac31ade702bc33764d35ef9c8 |
||
---|---|---|
.. | ||
MobileFrontendHookHandlers.php | ||
ParserFileProcessingHookHandlers.php | ||
SearchResultProvideThumbnailHookHandler.php |