diff options
| -rw-r--r-- | ext/spl/config.w32 | 9 | ||||
| -rwxr-xr-x | ext/spl/php_spl.h | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/ext/spl/config.w32 b/ext/spl/config.w32 new file mode 100644 index 0000000000..2880b91cd5 --- /dev/null +++ b/ext/spl/config.w32 @@ -0,0 +1,9 @@ +// $Id$ +// vim:ft=javascript + +ARG_ENABLE("spl", "SPL (Standard PHP Library) support", "yes"); + +if (PHP_SPL != "no") { + EXTENSION("spl", "php_spl.c spl_functions.c spl_engine.c spl_iterators.c spl_array.c spl_directory.c"); + AC_DEFINE('HAVE_SPL', 1); +} diff --git a/ext/spl/php_spl.h b/ext/spl/php_spl.h index b2fd7709cb..8290654251 100755 --- a/ext/spl/php_spl.h +++ b/ext/spl/php_spl.h @@ -44,6 +44,7 @@ PHP_MINFO_FUNCTION(spl); ZEND_BEGIN_MODULE_GLOBALS(spl) + int dummy; ZEND_END_MODULE_GLOBALS(spl) #ifdef ZTS |