upgrading package: php 7.2.12 -> 7.3.0

php/php.spec

@@ -31,8 +31,8 @@ Distribution: OpenPKG Community
 Class:        BASE
 Group:        Language
 License:      PHP
-Version:      7.2.12
-Release:      20181108
+Version:      7.3.0
+Release:      20181206
 
 #   package options
 %option       with_cgi                  no