Christoph Michael Becker 58cde0c5ca Mark ext/wddx as deprecated ... We'll add the removal notice, when it actually has been removed. Cf. <https://wiki.php.net/rfc/deprecate-and-remove-ext-wddx> git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@346817 c90b9560-bf6c-de11-be94-00142212c4b1		2019-02-12 17:33:05 +00:00
..
functions	Mark ext/wddx as deprecated	2019-02-12 17:33:05 +00:00
book.xml	Mark ext/wddx as deprecated	2019-02-12 17:33:05 +00:00
configure.xml
constants.xml
examples.xml
reference.xml
setup.xml
versions.xml	Update version information to include PHP 7.	2016-01-04 21:40:07 +00:00