diff options
| author | Hartmut Holzgraefe <hholzgra@php.net> | 2003-02-28 06:33:07 +0000 |
|---|---|---|
| committer | Hartmut Holzgraefe <hholzgra@php.net> | 2003-02-28 06:33:07 +0000 |
| commit | e9787cd2fd303c1cbefdb47d11885e5d8b3ee0cc (patch) | |
| tree | 60669d598ca69005f703725d64fc783dfbf7174f /scripts | |
| parent | 95d756f4673b5c33ed3232cb654ce2dbf9bcdf90 (diff) | |
| download | php-git-e9787cd2fd303c1cbefdb47d11885e5d8b3ee0cc.tar.gz | |
support for passing description file name on command line
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/ext_skel_ng/ext_skel_ng.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/ext_skel_ng/ext_skel_ng.php b/scripts/ext_skel_ng/ext_skel_ng.php index e4313649fd..8921601381 100644 --- a/scripts/ext_skel_ng/ext_skel_ng.php +++ b/scripts/ext_skel_ng/ext_skel_ng.php @@ -1,7 +1,9 @@ <?php require_once "extension_parser.php"; - $ext = &new extension_parser(fopen("extension.xml", "r")); + $filename = isset($_SERVER["argv"][1]) ? $_SERVER["argv"][1] : "extension.xml"; + + $ext = &new extension_parser(fopen($filename, "r")); system("rm -rf {$ext->name}"); mkdir($ext->name); |