Needs PHP requirements in main plugin file

Hi… I have a client whose site went down today because it was running PHP 7.4, and it appears an auto-update of Animations for Blocks was the culprit.

I see that the PHP requirements are in the readme.txt file, but I believe for WordPress to detect the requirements and prevent auto-update on unsupported systems, that also needs to be specified in the header of the plugin’s main PHP file.

My understanding — although I could be wrong —?is that the header info in the readme file is used by the WordPress Plugin Directory, but WordPress itself reads the plugin details from the main PHP file.