summaryrefslogtreecommitdiff
path: root/ext/ext_skel.php
diff options
context:
space:
mode:
Diffstat (limited to 'ext/ext_skel.php')
-rwxr-xr-xext/ext_skel.php27
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;