Prepare 0.4.3 release

Author: pinepain

package.xml

@@ -16,19 +16,19 @@
         <email>[email protected]</email>
         <active>yes</active>
     </lead>
-    <date>2017-03-05</date>
-    <time>22:14:32</time>
+    <date>2017-06-30</date>
+    <time>17:52:14</time>
     <version>
-        <release>0.4.2</release>
-        <api>0.4.2</api>
+        <release>0.4.3</release>
+        <api>0.4.3</api>
     </version>
     <stability>
         <release>stable</release>
         <api>stable</api>
     </stability>
     <license uri="https://opensource.org/licenses/mit">The MIT License (MIT)</license>
     <notes>
-        This is a maintenance release which drops PHP &lt; 7.0.3 support.
+        - add PHP 7.2 compatibility support (Remi Collet &lt;[email protected]&gt;)
     </notes>
     <contents>
         <dir name="/">

php_ref.h

@@ -19,11 +19,11 @@ extern zend_module_entry php_ref_module_entry;
 #define phpext_ref_ptr &php_ref_module_entry
 
 #ifndef PHP_REF_VERSION
-#define PHP_REF_VERSION "0.5.0"
+#define PHP_REF_VERSION "0.4.3"
 #endif
 
 #ifndef PHP_REF_REVISION
-#define PHP_REF_REVISION "dev"
+#define PHP_REF_REVISION "release"
 #endif
 
 #if PHP_VERSION_ID < 70003

scripts/refresh-package-xml.php

@@ -99,4 +99,14 @@
 
 $package = preg_replace("/{$start}.+{$end}/s", implode("\n", $files), $package);
 
-file_put_contents('package-new.xml', $package);
+$datetime = new DateTime();
+$package = preg_replace("/\<date\>.+\<\/date\>/", '<date>' . $datetime->format('Y-m-d') . '</date>', $package);
+$package = preg_replace("/\<time\>.+\<\/time\>/", '<time>' . $datetime->format('H:i:s') . '</time>', $package);
+
+
+$new_package_filename = 'package-new.xml';
+if (isset($argv[1]) && '-f' == $argv[1]) {
+    $new_package_filename = 'package.xml';
+}
+
+file_put_contents($new_package_filename, $package);