| commit | 7edcf8004f52406ec5eaa4a571425b971212917c | [log] [tgz] |
|---|---|---|
| author | Umherirrender <umherirrender_de.wp@web.de> | Sun Apr 21 18:29:27 2024 +0200 |
| committer | Umherirrender <umherirrender_de.wp@web.de> | Sun Apr 21 18:29:27 2024 +0200 |
| tree | d8f6e2a45fa1a2f62b992d3978b4b07883a4906f | |
| parent | 8b51edb67987dcef5ec229d4973eaa358338d767 [diff] |
build: Remove required php7.3 from composer.json extension.json requires MediaWiki 1.42, which is php7.4 Change-Id: Ic779309d4b5d5eea2d4d5890907f9e69644d607f