Page MenuHomePhabricator

Update extensions to specify platform requirements
Open, Needs TriagePublic

Description

MediaWiki extensions should use the new platform key of the requires object in extension.json, if they require a higher PHP version than the associated MediaWiki release or any PHP extensions to work.

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptDec 21 2018, 9:01 AM

Maybe a script reading the PHP version parameter of MediaWiki.org infoboxes and code searches for extension keywords can do much of the work.

MGChecker updated the task description. (Show Details)Dec 21 2018, 9:12 AM
MGChecker reopened this task as Open.Mar 1 2019, 11:41 PM

Oh, now I see the difference.