From 8dc20245ce4ae64b96ad31a40fa236d0db6edddc Mon Sep 17 00:00:00 2001
From: Jim Winstead <jimw@trainedmonkey.com>
Date: Sat, 20 Jul 2024 15:56:41 -0700
Subject: [PATCH] Remove docs.php.net, it's not user-visible any longer (closes
 #996)

---
 sites.php | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/sites.php b/sites.php
index 6ee632933f..8f249a001f 100644
--- a/sites.php
+++ b/sites.php
@@ -117,15 +117,6 @@
  and contributors.
 </p>
 
-<h2 id="docs" class="content-header"><a href="http://docs.php.net/">docs.php.net</a>: Documentation dev server</h2>
-
-<p class="content-box">
- The documentation developmental server is a PHP mirror that contains upcoming
- releases of the PHP documentation before it's pushed out to the mirrors.
- Documentation changes, such as layout, is tested here (with feedback requested)
- before being made official. Documentation is built here four times a day.
-</p>
-
 <h2 id="qa" class="content-header"><a href="https://qa.php.net/">qa.php.net</a>: Quality Assurance Team</h2>
 
 <p class="content-box">