I think we haven't yet enabled this admin notification. The code should be already there but likely disabled. Basically, the goal is, if someone is using PHP 7.1 or older that they should upgrade to PHP 7.2 at least or better even directly PHP 7.4.