diff options
author | Craig Duncan <git@duncanc.co.uk> | 2019-11-17 16:14:09 +0000 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-11-18 11:41:24 +0100 |
commit | a9e8cd2b6b9e24820643b47f427ee10836d944d6 (patch) | |
tree | 0eb7f903526e6151918a2053cf125403c205bc5a /ext/ext_skel.php | |
parent | 7901913b833fc5cceac72711bf235c8a570e8ac1 (diff) | |
download | php-git-a9e8cd2b6b9e24820643b47f427ee10836d944d6.tar.gz |
Convert the example skeleton extension to use arginfo stubs
Diffstat (limited to 'ext/ext_skel.php')
-rwxr-xr-x | ext/ext_skel.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/ext_skel.php b/ext/ext_skel.php index f5cd415ce8..58199f4d8c 100755 --- a/ext/ext_skel.php +++ b/ext/ext_skel.php @@ -330,6 +330,7 @@ function copy_sources() { $files = [ 'skeleton.c' => $options['ext'] . '.c', + 'skeleton.stub' => $options['ext'] . '.stub.php', 'php_skeleton.h' => 'php_' . $options['ext'] . '.h' ]; |