From 54502e978c44a5861ee4c5e5f1bbb6285abd1645 Mon Sep 17 00:00:00 2001
From: Marcus Boerger <helly@php.net>
Date: Wed, 9 Apr 2008 21:47:29 +0000
Subject: [PATCH] - SPL can no longer be disabld as discussed some time ago
 (checked back with RM)

---
 ext/spl/config.m4 | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/ext/spl/config.m4 b/ext/spl/config.m4
index a21d91958a..431b337b6b 100755
--- a/ext/spl/config.m4
+++ b/ext/spl/config.m4
@@ -1,10 +1,6 @@
 dnl $Id$
 dnl config.m4 for extension SPL
 
-PHP_ARG_ENABLE(spl, enable SPL suppport,
-[  --disable-spl           Disable Standard PHP Library], yes)
-
-if test "$PHP_SPL" != "no"; then
   AC_MSG_CHECKING(whether zend_object_value is packed)
   old_CPPFLAGS=$CPPFLAGS
   CPPFLAGS="$INCLUDES -I$abs_srcdir $CPPFLAGS"
@@ -32,4 +28,3 @@ int main(int argc, char **argv) {
   PHP_NEW_EXTENSION(spl, php_spl.c spl_functions.c spl_engine.c spl_iterators.c spl_array.c spl_directory.c spl_sxe.c spl_exceptions.c spl_observer.c spl_dllist.c spl_heap.c, no)
   PHP_INSTALL_HEADERS([ext/spl], [php_spl.h spl_array.h spl_directory.h spl_engine.h spl_exceptions.h spl_functions.h spl_iterators.h spl_observer.h spl_sxe.h spl_dllist.h spl_heap.h])
   PHP_ADD_EXTENSION_DEP(spl, pcre, true)
-fi
-- 
2.40.0