From 548f47bd2dd0d26e16a44ab8acac6120dd8f0dbd Mon Sep 17 00:00:00 2001
From: Niels Dossche <7771979+nielsdos@users.noreply.github.com>
Date: Sun, 9 Jun 2024 20:05:08 +0200
Subject: [PATCH] Update contributing guidelines for docs

[ci skip]
---
 CONTRIBUTING.md | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index acb020dd2dce1..4efffc6ccdcfa 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -131,12 +131,8 @@ should be credited, the `Co-authored-by` tag in the commit message may be used.
 
 ## Writing documentation
 
-There are two ways to contribute to the PHP manual. You can edit the manual and
-send patches anonymously via [the online editor](https://edit.php.net/), or you
-can check the XML source out from Subversion and edit that and build it
-[per the instructions on the documentation site](http://doc.php.net/tutorial/).
-Patches created that way should be sent to the
-[documentation mailing list](mailto:phpdoc@lists.php.net).
+Editing the manual is done by checking out the XML sources using Git and editing
+and building it [per the instructions on the documentation site](http://doc.php.net/tutorial/).
 
 ## Getting help