diff options
Diffstat (limited to 'src/third_party/timelib/zones/update-package-xml.php')
| -rw-r--r-- | src/third_party/timelib/zones/update-package-xml.php | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/third_party/timelib/zones/update-package-xml.php b/src/third_party/timelib/zones/update-package-xml.php new file mode 100644 index 00000000000..ce5c774a7cc --- /dev/null +++ b/src/third_party/timelib/zones/update-package-xml.php @@ -0,0 +1,17 @@ +<?php +$e = file_get_contents( $argv[1] . '/package.xml' ); + +/* Grab version info */ +$version_info = file( 'version-info.txt' ); +$tzversion = trim( $version_info[0] ); +$version = trim( $version_info[1] ); + +/* Use preg_replace to update version in package.xml */ +$f = preg_replace( '@release>20.*</release>@', "release>{$version}</release>", $e ); +$g = preg_replace( '@api>20.*</api>@', "api>{$version}</api>", $f ); +$h = preg_replace( '@version 20.*@', "version {$version} ({$tzversion})", $g ); +$date = date( 'Y-m-d' ); +$i = preg_replace( '@date>.*</date@', "date>{$date}</date", $h ); + +file_put_contents( $argv[1] . '/package.xml', $i ); +?> |