Change Details

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

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.

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.