Fix: Require PHP 7.2 for tools

[localheinz]

This PR

• requires PHP 7.2 for dependencies declared in tools/

Follows #530.

[codecov]

Codecov Report

Merging #578 into main will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##               main     #578   +/-   ##
=========================================
  Coverage     82.58%   82.58%           
  Complexity       42       42           
=========================================
  Files             4        4           
  Lines           178      178           
=========================================
  Hits            147      147           
  Misses           31       31           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 709204f...9c13c3f. Read the comment docs.