The extension's composer.json reads:
"php": ">=5.5.9"
But the code is already using PHP 7.1 nullable types, as spotted by phan in https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Wikidata.org/+/647228. Perhaps it's time to bump the requirement to PHP 7.2+? Or is these some good reason to keep it at 5.5, and we should remove PHP 7 features?
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| composer: Don't specify PHP version | mediawiki/extensions/Wikidata.org | master | +0 -3 |
Change 648771 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/extensions/Wikidata.org@master] composer: Don't specify PHP version
Yeah, this repo is for production Wikidata.org code only – https://wikiapiary.com/wiki/Extension:Wikidata.org – so no need for old PHP support at all.
Change 648771 merged by jenkins-bot:
[mediawiki/extensions/Wikidata.org@master] composer: Don't specify PHP version