[PHP-DEV] PHP-7.1 branch locked, 7.1 is now security-only

You may like to know this announcement by Sara Golmon on PHP newsgroups:

So it is time to move to 7.2.x as soon as possible. Binaries and source
code is available from this link:

http://php.net/downloads.php



As the regular support lifecycle for PHP-7.1 ends on Dec 3rd, 2018 the RM
team have decided to make 7.1.25 the last regular 7.1 release (it'll
actually come out on the 6th, but horseshoes and handgrenades, right?). As
such, since the PHP-7.1.25 release branch has been cut, the PHP-7.1 branch
is now locked from casual push, so any diffs which reflect on security
should be brought to the attention of the release-managers@ distribution
list for inclusion in all security-supported branches.

Thanks to everyone for making PHP happen and Happy Thanksgiving from the
American in the room.

-Sara

--
With over 950 million devices now running Windows 10, customer
satisfaction is higher than any previous version of windows.