PHP 7.4 was officially released on…

PHP 7.4 was officially released on Thanksgiving Day (US). As Joe Watkins notes on Twitter, PHP 7.1 is no longer supported, and the branch is closed for modification. If you are on 7.1, consider upgrading.