Remove this (part from another patch)

diff --git a/configure.in b/configure.in
index 101e650a88039cdb0d40bbc51d83ad0620cc658a..7366aafdca0da39397adc521d0c0b5844b4ddef8 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -1173,7 +1173,7 @@ PHP_ADD_SOURCES(Zend, \
 
 if test -r "$abs_srcdir/Zend/zend_objects.c"; then
   PHP_ADD_SOURCES(Zend, zend_objects.c zend_object_handlers.c zend_objects_API.c zend_mm.c \
-    zend_default_classes.c zend_reflection_api.c zend_interfaces.c)
+    zend_default_classes.c zend_reflection_api.c)
 fi
 
 dnl Selectively disable optimization due to high RAM usage during