Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Update lib_versions.txt

diff --cc win32/build/libs_version.txt
index 8b45700a147f9c4292c81ad9f2b1273eb857cc05,16f46cdb07b3a39e7fcdc4939f50fb92673c9fe5..6d1a797d56b31da9e6a89c2fa70244038555006d
--- 1/win32/build/libs_version.txt
--- 2/win32/build/libs_version.txt
+++ b/win32/build/libs_version.txt
@@@ -8,9 -8,9 +8,9 @@@ libiconv-1.1
  libmpir-3.0.0
  libpng-1.6.29
  libpq-9.6.2
 +libsodium-1.0.12
  libssh2-1.8.0
  libtidy-5.4.0
- libxslt-1.1.29
- libxml-2.9.4
+ libxslt-1.1.30
+ libxml-2.9.5
 -openssl-1.0.2k
 +openssl-1.1.0e