diff options
| author | Andrey Hristov <andrey@php.net> | 1999-07-19 20:24:03 +0000 |
|---|---|---|
| committer | Andrey Hristov <andrey@php.net> | 1999-07-19 20:24:03 +0000 |
| commit | ced8e5132868749782e83fa8aa788a13b7e83ca6 (patch) | |
| tree | 1fc0755949f36528658b0ecb936f6747d72c1b31 /ext/wddx/setup.stub | |
| parent | b64eaf737b05eb7a88b5e63e1c1a7d2dbf5a5c84 (diff) | |
| download | php-git-ced8e5132868749782e83fa8aa788a13b7e83ca6.tar.gz | |
Ported WDDX module.
Diffstat (limited to 'ext/wddx/setup.stub')
| -rw-r--r-- | ext/wddx/setup.stub | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ext/wddx/setup.stub b/ext/wddx/setup.stub new file mode 100644 index 0000000000..30500bf406 --- /dev/null +++ b/ext/wddx/setup.stub @@ -0,0 +1,6 @@ +# $Source$ +# $Id$ + +define_option with-wddx 'wddx support?' yesnodir no \ +' Whether to build the wddx extension.' + |