diff options
author | Hartmut Holzgraefe <hholzgra@php.net> | 2003-05-06 16:50:39 +0000 |
---|---|---|
committer | Hartmut Holzgraefe <hholzgra@php.net> | 2003-05-06 16:50:39 +0000 |
commit | 249d85b2b059e0ca4b832fec97055222e6f43137 (patch) | |
tree | 5c225e6891e3ea9ae5ab132b3e1014e3353677de | |
parent | 93894a4e214b6fd24349b3352af8cb395e47ad31 (diff) | |
download | php-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.php | 9 |
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(); |