From: Nikita Popov Date: Mon, 6 Jan 2020 13:43:05 +0000 (+0100) Subject: Rename skeleton stub file X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=29df9d13da7ea56c54c518f3c948f91aaf257c33;p=php Rename skeleton stub file Add the .php suffix --- diff --git a/ext/ext_skel.php b/ext/ext_skel.php index 58199f4d8c..43734a2a67 100755 --- a/ext/ext_skel.php +++ b/ext/ext_skel.php @@ -144,7 +144,7 @@ function print_success() { printf('%1$sSuccess. The extension is now ready to be compiled. To do so, use the%s', PHP_EOL); printf('following steps:%1$s%1$s', PHP_EOL); - printf('cd /path/to/php-src/%s%s', $options['ext'], PHP_EOL); + printf('cd /path/to/php-src/ext/%s%s', $options['ext'], PHP_EOL); printf('phpize%s', PHP_EOL); printf('%sconfigure%s', $file_prefix, PHP_EOL); printf('%smake%2$s%2$s', $make_prefix, PHP_EOL); @@ -330,7 +330,7 @@ function copy_sources() { $files = [ 'skeleton.c' => $options['ext'] . '.c', - 'skeleton.stub' => $options['ext'] . '.stub.php', + 'skeleton.stub.php' => $options['ext'] . '.stub.php', 'php_skeleton.h' => 'php_' . $options['ext'] . '.h' ]; diff --git a/ext/skeleton/skeleton.stub b/ext/skeleton/skeleton.stub.php similarity index 100% rename from ext/skeleton/skeleton.stub rename to ext/skeleton/skeleton.stub.php