Merge branch 'dev-7.2'

Conflicts:
	php-oracle-instantclient.patch
	php.spec

diff --cc php.spec
index f955189a112030b7a0b7e51d76ae7a5cc79ff10d,7d757fe8e770e858d3746613a427784c1e41d0d8..b0328d9a1021ba969d0f2dad4bd4278590423550
--- 1/php.spec
--- 2/php.spec
+++ b/php.spec
@@@ -149,8 -153,8 +153,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.1.11
+ Version:      7.2.0
 -Release:      0.23
 +Release:      1
  Epoch:                4
  # All files licensed under PHP version 3.01, except
  # Zend is licensed under Zend
@@@ -624,7 -630,6 +630,7 @@@ Obsoletes: php54-deve
  Obsoletes:    php55-devel
  Obsoletes:    php56-devel
  Obsoletes:    php70-devel
- Obsoletes:    php72-devel
++Obsoletes:    php71-devel
  
  %description devel
  The php-devel package lets you compile dynamic extensions to PHP.