wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-23 16:06:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Remove php version from composer.json

Browse source 
The required MediaWiki version in extension.json is 1.43 and does not
support php7.4,
remove the outdated version constraint from composer.json

Change-Id: Ia29e84f0662a07a9f95829be674ec13e97d5a6e5
This commit is contained in:
Umherirrender 2024-11-08 21:10:40 +01:00
parent 4170b22181
commit 126aafa8b8
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
composer.json
View file

@ -28,7 +28,6 @@
"phpcs": "phpcs -sp --cache" "phpcs": "phpcs -sp --cache"
}, },
"require": { "require": {
"php": ">=7.4.3",
"ext-json": "*", "ext-json": "*",
"ext-dom": "*" "ext-dom": "*"
}, },