Page MenuHomePhabricator

Update extensions to specify platform requirements
Closed, ResolvedPublic


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

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

Legoktm added a subscriber: Legoktm.

Based on I don't think there's anything left to do here