Does anyone have any objections to dropping 5.3.2
Are there statistics about what versions of PHP exist in the wild among
MediaWiki users or users of other large PHP applications (Drupal,
I'd prefer that we find/get PHP version metrics and set a usage threshold,
similar to what we do with Web browser support. I think this would
simplify future PHP compatibility discussions.