Translations:Extension:VisualEditor/22/en

This is not a hard requirement; WMF still runs PHP 7.2 in production.