diff options
Diffstat (limited to 'ext/ext_skel.php')
-rwxr-xr-x | ext/ext_skel.php | 27 |
1 files changed, 9 insertions, 18 deletions
diff --git a/ext/ext_skel.php b/ext/ext_skel.php index e456714882..8a3cf76e29 100755 --- a/ext/ext_skel.php +++ b/ext/ext_skel.php @@ -18,16 +18,14 @@ /* $Id$ */ -/* {{{ error - */ +/* {{{ error */ function error($message) { printf('Error: %s%s', $message, PHP_EOL); exit; } /* }}} */ -/* {{{ print_help - */ +/* {{{ print_help */ function print_help() { if (PHP_OS_FAMILY != 'Windows') { $file_prefix = './'; @@ -118,8 +116,7 @@ HELP; } /* }}} */ -/* {{{ task - */ +/* {{{ task */ function task($label, $callback) { printf('%s... ', $label); @@ -129,8 +126,7 @@ function task($label, $callback) { } /* }}} */ -/* {{{ print_success - */ +/* {{{ print_success */ function print_success() { global $options; @@ -154,8 +150,7 @@ function print_success() { } /* }}} */ -/* {{{ process_args - */ +/* {{{ process_args */ function process_args($argv, $argc) { $options = [ 'unix' => true, @@ -237,8 +232,7 @@ function process_args($argv, $argc) { } /* }}} */ -/* {{{ process_source_tags - */ +/* {{{ process_source_tags */ function process_source_tags($file, $short_name) { global $options; @@ -294,8 +288,7 @@ HEADER; } /* }}} */ -/* {{{ copy_config_scripts - */ +/* {{{ copy_config_scripts */ function copy_config_scripts() { global $options; @@ -323,8 +316,7 @@ function copy_config_scripts() { } /* }}} */ -/* {{{ copy_sources - */ +/* {{{ copy_sources */ function copy_sources() { global $options; @@ -345,8 +337,7 @@ function copy_sources() { } /* }}} */ -/* {{{ copy_tests - */ +/* {{{ copy_tests */ function copy_tests() { global $options; |