[ 17:03 joneum  ]

• 481914 lang/php71/Makefile
• 481914 lang/php71/distinfo
• 481914 lang/php71/files/patch-bug-76600-remove-mysql8-auth

Update to 7.1.23

Changelog:
 - http://www.php.net/releases/7_1_23.php
 - http://www.php.net/ChangeLog-7.php#7.1.23

Approved by:	tz (implicit)
Sponsored by:	Netzkommune GmbH

[ 15:04 tz  ]

• 475181 lang/php71/Makefile
• 475181 lang/php71/distinfo
• 475181 lang/php71/files/patch-bug-76600-remove-mysql8-auth

Update PHP 7.1 from 7.1.19 to 7.1.20

Changelog: http://www.php.net/ChangeLog-7.php#7.1.20

Also patch out MySQL 8 auth changes, which makes the hash
extension mandatory instead of optional and introduce further
bugs:
https://github.com/php/php-src/commit/d6e81f0bfd0cb90586dd83d4fd47a4302605261a

MFH:		2018Q3