Since MDLSITE-2800, the phpcompatibility standard supports passing a given PHP version ("--runtime-set testVersion X.Y.Z") and that produces multiple sniffs (deprecated, removed, non-existing... function/classes) to be run specifically for that version.

This is about to enable the codechecker UI to, optionally, specify a PHP version to run the phpcompatibility sniffs against.

The basic idea is to show all versions between:

1) the required @ admin/environment.xml for current site.
2) the current php version being used.

And to allow the developer to pick one (can default to 1).

Note: This should be supported both by the web UI and the run.php CLI script.

That is, ciao