Merge branch 'dev-7.1' into PHP_7_0

Conflicts:
	php-ini.patch
	php.spec

diff --cc php.spec
index acab650390d297125f831133dbe07f8c7d0274a4,ad5a4987e65a4025a130d1fd4248282e989d9071..deddb5e8168f4067e751eeed2e994bd645049a34
--- 1/php.spec
--- 2/php.spec
+++ b/php.spec
@@@ -140,8 -133,9 +140,8 @@@
  %undefine     with_filter
  %endif
  
 -%define               rel             0.5
  %define               orgname php
- %define               ver_suffix 70
+ %define               ver_suffix 71
  %define               php_suffix %{!?with_default_php:%{ver_suffix}}
  Summary:      PHP: Hypertext Preprocessor
  Summary(fr.UTF-8):    Le langage de script embarque-HTML PHP
@@@ -150,8 -144,8 +150,8 @@@ Summary(pt_BR.UTF-8):      A linguagem de sc
  Summary(ru.UTF-8):    PHP Версии 7 - язык препроцессирования HTML-файлов, выполняемый на сервере
  Summary(uk.UTF-8):    PHP Версії 7 - мова препроцесування HTML-файлів, виконувана на сервері
  Name:         %{orgname}%{php_suffix}
- Version:      7.0.13
- Release:      1
+ Version:      7.1.0
 -Release:      1.1
++Release:      2
  Epoch:                4
  # All files licensed under PHP version 3.01, except
  # Zend is licensed under Zend