2 years ago i sort of took over the maintainance of https://www.mediawiki.org/wiki/Extension:PDFEmbed by creating a github repository https://github.com/WolfgangFahl/PDFEmbed to
fix some problems of this extension.
2 days ago the pull request https://github.com/WolfgangFahl/PDFEmbed/pull/10 was submitted which only works with Version 1.38 of Mediawiki but is not backwards compatible.
I would love to accept the pull request but i am afraid that the docker farm created by my tool https://wiki.bitplan.com/index.php/Pymediawikidocker / https://github.com/WolfgangFahl/pymediawikidocker will break.
pymediawikidocker has a command line tool mwcluster which creates docker compose files for multiple mediawiki versions with automatic installation scripts so that the resulting docker containers are ready for testing.
As of version mwcluster v0.1.13 (2022-07-02) the default mediawiki versions for which docker images are created are: '1.27.7', '1.31.16', '1.35.7', '1.37.3','1.38.2'
Officially PDFEmbed supports the first three versions 1.27.7, 1.31.16 and 1.35.7.
PDFEmbed is listed in https://github.com/WolfgangFahl/pymediawikidocker/blob/main/mwdocker/resources/extensions.json
The difference to other extensions is that the github repository used is not one provided by mediawiki and therefore i fear that the handling is not compatible - if i remember right tags are used for selecting the correct version by pymediawikidocker and there is some schema for tags that is being used in the official mediawiki github repositories.
My question would be how to proceed from here?
Which steps will lead to a situation where the backwards-incompatbility of the pull request will be handled in a proper way?