From 6bbb18a0b6bef11222caaa55c00abdbcbb55d54b Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Wed, 20 Mar 2019 14:15:50 +0100
Subject: Unbundle ext/wddx

The extension is now available from <https://pecl.php.net/package/wddx>.

Cf. <https://wiki.php.net/rfc/deprecate-and-remove-ext-wddx>.
---
 EXTENSIONS | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'EXTENSIONS')

diff --git a/EXTENSIONS b/EXTENSIONS
index 387fde18f0..ce75f64f6b 100644
--- a/EXTENSIONS
+++ b/EXTENSIONS
@@ -201,11 +201,6 @@ PRIMARY MAINTAINER:  Dmitry Stogov <dmitry@php.net> (2004 - 2018)
 MAINTENANCE:         Maintained
 STATUS:              Working
 -------------------------------------------------------------------------------
-EXTENSION:           wddx
-PRIMARY MAINTAINER:  Andrei Zmievski <andrei@php.net> (1999 - 2003)
-MAINTENANCE:         Orphaned
-STATUS:              Working
--------------------------------------------------------------------------------
 EXTENSION:           xml
 PRIMARY MAINTAINER:  Thies C. Arntzen <thies@thieso.net> (1999 - 2002)
                      Rob Richards <rrichards@php.net> (2003 - 2013)
-- 
cgit v1.2.1