From 99ee4026b26f0bbe435e8893016dd3e3781b40f1 Mon Sep 17 00:00:00 2001
From: Jim Winstead <jimw@trainedmonkey.com>
Date: Sat, 20 Jul 2024 16:19:26 -0700
Subject: [PATCH] Remove docs.php.net, it's not user-visible any longer (#1035)

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

diff --git a/sites.php b/sites.php
index 6ee632933..8f249a001 100644
--- a/sites.php
+++ b/sites.php
@@ -117,15 +117,6 @@ site_header("A Tourist's Guide", ["current" => "help"]);
  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">