mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler
synced 2024-11-24 00:07:10 +00:00
c73192e23d
Remove using of User::getDefaultOption since this method will be hard-deprecated. Now it is soft-deprecated Bug: T276035 Change-Id: I6b489dc7236998bcfee6fa136167c3712757dd39 |
||
---|---|---|
.. | ||
CreatePdfThumbnailsJob.php | ||
PdfHandler.php | ||
PdfImage.php |