Warn users about PHP 4 manual status

docs.php

@@ -26,6 +26,15 @@
  parts might be outdated. The translation teams are open to
  contributions. 
 </p>
+
+ <div class="warning">
+  <p>
+   Documentation for PHP 4 has been removed from the
+   manual, but there is archived version still available. For
+   more informations, please read <a href="/manual/php4.php">
+   Documentation for PHP 4</a>.
+  </p>
+ </div>
 </div>
 
 <table class="standard">
@@ -83,7 +92,8 @@
  <li>
   You can still read a copy of the original <a href="/manual/phpfi2.php">PHP/FI
   2.0 Manual</a> on our site, which we only host for historical purposes.
-  The same applies to the <a href="/manual/php3.php">PHP 3 Manual</a>.
+  The same applies to the <a href="/manual/php3.php">PHP 3 Manual</a>, and
+  the <a href="/manual/php4.php">PHP 4 Manual</a>.
  </li>
 </ul>
 

download-docs.php

@@ -67,6 +67,10 @@
   translations are based on that version. Most of the translations
   are not complete, and contain English parts. 
  </li>
+ <li>
+  If you are looking for PHP 4 documentation, please read
+  <a href="/manual/php4.php">this explanation</a>.
+ </li>
 </ul>
 
 <p class="warn">

manual/php4.php

@@ -0,0 +1,41 @@
+<?php
+$_SERVER['BASE_PAGE'] = 'manual/php4.php';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
+site_header('PHP Version 4 Documentation');
+?>
+
+<h1>Documentation for PHP 4</h1>
+
+<h2>Introduction</h2>
+<p>
+ The PHP 4 documentation was removed from the PHP Manual in August 2014,
+ approximately six years after PHP 4 reached its end of life. However, we have
+ provided downloadable copies of the manual for anyone who would need it.
+</p>
+
+<h2>PHP 4 Manual</h2>
+<p>
+ An attempt has been made to preserve as much documentation related to PHP 4, as
+ possible. Despite this, we don't have a nice, separate manual covering only PHP 4.
+ The reason for this is how our documentation is structured. Even so, the archived copy
+ describes more aspects of PHP 4 than actual manual described in August 2014 (e.g.
+ it covers more PHP 4 extensions).
+</p>
+
+<p>
+ To download a copy of the manual for PHP 4, 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 4 applications.
+ This version lacks many topics connected with PHP 5 and it is not updated anymore.
+</p>
+
+<h2>Migrating to PHP 5</h2>
+<p>
+ All users are strongly encouraged to upgrade their environments to PHP 5.
+ Please, read our guides for <a href="http://php.net/manual/en/migration5.php">Migrating
+ from PHP 4 to PHP 5.0.x</a> and <a href="http://php.net/manual/en/faq.migration5.php">
+ Migrating from PHP 4 to PHP 5 FAQ</a>, for more information.
+</p>
+
+<?php
+site_footer();