Page MenuHomePhabricator

Update extensions to specify platform requirements
Closed, ResolvedPublic

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

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

Legoktm added a subscriber: Legoktm.

Based on https://codesearch.wmcloud.org/things/?q=extension_loaded&i=nope&files=&repos= I don't think there's anything left to do here