From 8de8c4e0677706f6804d91283289f62ca65f4b62 Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Sat, 5 Sep 2020 14:57:24 +0200
Subject: [PATCH] Archive PHP 5 documentation

We prepare for the actual removal of PHP 5 specific documentation by
setting up the necessary information.
---
 docs.php        |  7 ++++---
 manual/php5.php | 40 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 44 insertions(+), 3 deletions(-)
 create mode 100644 manual/php5.php

diff --git a/docs.php b/docs.php
index 8521860604..9681074056 100644
--- a/docs.php
+++ b/docs.php
@@ -67,10 +67,11 @@
 
 <div>
  <p>
-  Documentation for PHP 4 has been removed from the
-  manual, but there is archived version still available. For
+  Documentation for PHP 4 and PHP 5 has been removed from the
+  manual, but there are still archived versions still. For
   more information, please read <a href="/manual/php4.php">
-  Documentation for PHP 4</a>.
+  Documentation for PHP 4</a> and <a href="manual/php5.php">
+  Documentation for 5</a>, respectively.
  </p>
 </div>
 
diff --git a/manual/php5.php b/manual/php5.php
new file mode 100644
index 0000000000..4752416af2
--- /dev/null
+++ b/manual/php5.php
@@ -0,0 +1,40 @@
+<?php
+$_SERVER['BASE_PAGE'] = 'manual/php5.php';
+include_once __DIR__ . '/../include/prepend.inc';
+site_header('PHP Version 5 Documentation');
+?>
+
+<h1>Documentation for PHP 5</h1>
+
+<h2>Introduction</h2>
+<p>
+ The PHP 5 documentation was removed from the PHP Manual in September 2020,
+ approximately two years after PHP 5 reached its end of life. However, we have
+ provided downloadable copies of the manual for anyone who would need it.
+</p>
+
+<h2>PHP 5 Manual</h2>
+<p>
+ An attempt has been made to preserve as much documentation related to PHP 5, as
+ possible. Despite this, we don't have a nice, separate manual covering only PHP 5.
+ The reason for this is how our documentation is structured. Even so, the archived copy
+ describes more aspects of PHP 5 than actual manual described in September 2020 (e.g.
+ it covers more PHP 5 extensions).
+</p>
+
+<p>
+ To download a copy of the manual for PHP 5, see the <a href="http://doc.php.net/archives/">
+ documentation archives</a>. Please, remember, that archived version <strong>should not
+ </strong> be used in everyday development, unless you are developing PHP 5 applications.
+ This version lacks many topics connected with newer PHP versions and it is not updated anymore.
+</p>
+
+<h2>Migrating to supported PHP version</h2>
+<p>
+ All users are strongly encouraged to upgrade their environments to  newest PHP version.
+ Please, read our guides for <a href="http://php.net/manual/en/migration70.php">Migrating
+ from PHP 5.6 to PHP 7.0</a> for more information.
+</p>
+
+<?php
+site_footer();