wikimedia/mediawiki-extensions-PdfHandler
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler synced 2024-11-24 00:07:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-PdfHan.../includes
History
vladshapik c73192e23d Avoid using User::getDefaultOption 
Remove using of User::getDefaultOption since this method will be hard-deprecated. Now it is soft-deprecated

Bug: T276035
Change-Id: I6b489dc7236998bcfee6fa136167c3712757dd39
2021-03-01 12:25:47 +02:00
..
CreatePdfThumbnailsJob.php Avoid using User::getDefaultOption 2021-03-01 12:25:47 +02:00
PdfHandler.php Code cleanup 2021-02-11 20:33:34 +00:00
PdfImage.php Code cleanup 2021-02-11 20:33:34 +00:00