What should PHPCompatibility rules be?

[iandunn]

The PRT doesn't have a policy on PHP version support. It could be helpful, though, to check if plugins are gracefully handling cases where they don't support a version.

If a plugin uses PHP 7 syntax, it should define the Requires PHP header, and maybe have an explicit version_compare() check too?