[08:21:57] 10Multimedia, 10Electron-PDFs, 10MediaWiki-extensions-Score, 10OCG-PDFRenderer, 10Wikisource: PDF export should not render music scores natively, i.e. not as images - https://phabricator.wikimedia.org/T181322#3786387 (10Base) [08:23:04] 10Multimedia, 10Electron-PDFs, 10MediaWiki-extensions-Score, 10OCG-PDFRenderer, 10Wikisource: PDF export should render music scores natively, i.e. not as images - https://phabricator.wikimedia.org/T181322#3786401 (10Base) [22:01:46] 10Multimedia, 10Commons, 10MediaWiki-extensions-GWToolset: GWToolset fails if the links to the media are not supporting HEAD method - https://phabricator.wikimedia.org/T181347#3786956 (10Shavtay) [22:03:00] 10Multimedia, 10Commons, 10MediaWiki-extensions-GWToolset: GWToolset fails if the links to the media are not supporting HEAD method - https://phabricator.wikimedia.org/T181347#3786969 (10Shavtay) [22:21:54] 10Multimedia, 10Commons, 10MediaWiki-extensions-GWToolset: GWToolset fails if the links to the media are not supporting HEAD method - https://phabricator.wikimedia.org/T181347#3786956 (10Reedy) How does it fail? What error do you get? It's very obvious in the code when/where it does a HEAD request... ```... [22:57:31] 10Multimedia, 10Commons, 10MediaWiki-extensions-GWToolset: GWToolset fails if the remote server does not support HTTP HEAD - https://phabricator.wikimedia.org/T181347#3787021 (10Reedy) [22:58:52] 10Multimedia, 10Commons, 10MediaWiki-extensions-GWToolset: GWToolset fails if the remote server does not support HTTP HEAD - https://phabricator.wikimedia.org/T181347#3786956 (10Reedy) ``` $ curl -I iiif.nli.org.il/IIIFv21/FL7070748/full/300,/0/default.jpg HTTP/1.1 405 Method Not Allowed Allow: GET Content-... [23:04:40] 10Multimedia, 10Commons, 10MediaWiki-extensions-GWToolset: GWToolset fails if the remote server does not support HTTP HEAD - https://phabricator.wikimedia.org/T181347#3786956 (10Legoktm) Do we know why that server doesn't support HEAD requests?