DevelCommands.php uses PHP typed properties but Devel not declare PHP 7.4 as minimum dependency

We should decide if 7.4 is the minimum version and enforce it in info.yml and composer.json. Or remove typed properties from https://gitlab.com/drupalspoons/devel/-/blob/5.x/src/Commands/DevelCommands.php#L35