php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Remove docs.php.net, it's not user-visible any longer (#1035)

Browse Source 
Close #996
This commit is contained in:
Jim Winstead
2024-07-20 16:19:26 -07:00
committed by GitHub
parent 96d1508e8f
commit 99ee4026b2
1 changed files with 0 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
sites.php
View File

@@ -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">