- outdated (mnogosearch ext removed from php)

Changed files:
    php-mnogosearch-fix.patch -> 1.4

diff --git a/php-mnogosearch-fix.patch b/php-mnogosearch-fix.patch
deleted file mode 100644 (file)
index 53be3c4..0000000
--- a/php-mnogosearch-fix.patch
+++ /dev/null
@@ -1,15 +0,0 @@
-diff -ur php-4.3.7-orig/ext/mnogosearch/config.m4 php-4.3.7-patched/ext/mnogosearch/config.m4
---- php-4.3.7-orig/ext/mnogosearch/config.m4   2003-10-03 05:25:38.000000000 +0000
-+++ php-4.3.7-patched/ext/mnogosearch/config.m4        2004-06-09 21:32:04.000000000 +0000
-@@ -47,7 +47,9 @@
-     
-     AC_DEFINE(HAVE_MNOGOSEARCH,1,[ ])
-     
--    PHP_NEW_EXTENSION(mnogosearch, php_mnogo.c, $ext_shared)
-+    MNOGOSEARCH_CFLAGS="-DNOT_USED_OR_REPLACED"
-+
-     PHP_SUBST(MNOGOSEARCH_SHARED_LIBADD)
--    
-+    PHP_SUBST(MNOGOSEARCH_CFLAGS)
-+    PHP_NEW_EXTENSION(mnogosearch, php_mnogo.c, $ext_shared,, $MNOGOSEARCH_CFLAGS)
-   fi