From 2398b2e34ee356ca9d7525a40d98c9a7d4b9ba56 Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Thu, 21 May 2015 12:30:34 +0200 Subject: [PATCH] administrativa --- check_package-xml.php | 5 +++++ package.xml | 14 +++++++++----- 2 files changed, 14 insertions(+), 5 deletions(-) diff --git a/check_package-xml.php b/check_package-xml.php index 4000054..32a1e73 100755 --- a/check_package-xml.php +++ b/check_package-xml.php @@ -36,6 +36,11 @@ if (($xml = simplexml_load_file($file))) { } } } + foreach ($xml_files as $file) { + if (!file_exists($file)) { + echo "Extraneous file $file\n"; + } + } } ### diff --git a/package.xml b/package.xml index 467cb13..e05ab6d 100644 --- a/package.xml +++ b/package.xml @@ -35,18 +35,20 @@ http://dev.iworks.at/ext-http/lcov/ext/http/ mike@php.net yes - 2015-04-08 + 2015-05-21 - 2.4.4dev - 2.4.0 + 2.5.0RC1 + 2.5.0 - stable + beta stable BSD, revised @@ -134,6 +136,7 @@ http://dev.iworks.at/ext-http/lcov/ext/http/ + @@ -298,6 +301,7 @@ http://dev.iworks.at/ext-http/lcov/ext/http/ + -- 2.30.2