Hi,
Thank you for your kind words!
The plugin demo runs on PHP 7.2, as well as this site, it is fully compatible. The lines you are referring to are only executed after version checking PHP first – because WordPress supports PHP versions 5.3 and upwards. You don’t have to worry about these lines, they are not executed, nor used, unless the PHP version matches the requirements.