wikimedia/mediawiki-extensions-PageImages
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2024-11-24 08:23:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-PageIm.../includes/Hooks
History
Petr Pchelko a0d2696e69 Remove leftover SearchResultPageIdentity typehints 
Change-Id: I7a1dfc26d0985e645c785297c849e4c2854c034b
2021-05-14 19:21:16 -07:00
..
LinksUpdateHookHandler.php build: Updating dependencies 2021-05-12 19:05:01 +00:00
ParserFileProcessingHookHandlers.php Update PHPDocs and use PHP7 features where possible 2021-05-04 16:51:18 +02:00
SearchResultProvideThumbnailHookHandler.php Remove leftover SearchResultPageIdentity typehints 2021-05-14 19:21:16 -07:00