This would make a plugin PHP 7.1+ only.
This would make a plugin PHP 7.1+ only.