summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHartmut Holzgraefe <hholzgra@php.net>2003-05-06 16:50:39 +0000
committerHartmut Holzgraefe <hholzgra@php.net>2003-05-06 16:50:39 +0000
commit249d85b2b059e0ca4b832fec97055222e6f43137 (patch)
tree5c225e6891e3ea9ae5ab132b3e1014e3353677de
parent93894a4e214b6fd24349b3352af8cb395e47ad31 (diff)
downloadphp-git-249d85b2b059e0ca4b832fec97055222e6f43137.tar.gz
- make sure we are running on PHP 5
- prevent warnings if no known license given
-rw-r--r--scripts/ext_skel_ng/ext_skel_ng.php9
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/ext_skel_ng/ext_skel_ng.php b/scripts/ext_skel_ng/ext_skel_ng.php
index 8a1a3b7877..aeae75fa74 100644
--- a/scripts/ext_skel_ng/ext_skel_ng.php
+++ b/scripts/ext_skel_ng/ext_skel_ng.php
@@ -1,4 +1,9 @@
<?php
+ $min_version = "5.0.0-dev";
+ if (!function_exists("version_compare") || version_compare(phpversion(), $min_version) <0) {
+ die("need at least PHP version $min_version, you are running ".phpversion());
+ }
+
require_once "extension_parser.php";
require_once "System.php";
@@ -27,7 +32,9 @@
mkdir($ext->name);
// write LICENSE file
- $ext->license->write_license_file("{$ext->name}/LICENSE");
+ if(is_object($ext->license)) {
+ $ext->license->write_license_file("{$ext->name}/LICENSE");
+ }
// generate code
$ext->write_header_file();