diff --git a/docs.php b/docs.php
index 1979f89754..aa723a280b 100644
--- a/docs.php
+++ b/docs.php
@@ -79,7 +79,7 @@
-
If you are interested in how the documentation is edited and translated,
- you should read the Documentation HOWTO.
+ you should read the Documentation HOWTO.
-
PHP-GTK related documentation
diff --git a/error.php b/error.php
index 0a35219a48..bf1460b84f 100644
--- a/error.php
+++ b/error.php
@@ -104,7 +104,7 @@
// BC: handle documentation howto moved to the doc.php.net server
// (redirect to index page)
if (preg_match("!^manual/howto/!", $URI, $array)) {
- mirror_redirect("https://wiki.php.net/doc/howto");
+ mirror_redirect("http://doc.php.net/tutorial/");
}
// ============================================================================
diff --git a/git-php.php b/git-php.php
index 1bc187a9f4..7ed5cbd890 100644
--- a/git-php.php
+++ b/git-php.php
@@ -215,11 +215,11 @@
| Reading the PHP source |
- Maintaining the documentation |
+ Maintaining the documentation |
| Using PHP extensions |
- Translating the documentation |
+ Translating the documentation |
| Creating experimental PHP extensions |
@@ -273,7 +273,7 @@
Similarly, if you plan on contributing documentation, you should
subscribe to the
documentation mailing list, and read the
- PHP Documentation HOWTO.
+ PHP Documentation HOWTO.
diff --git a/license/index.php b/license/index.php
index 5fd26bd29e..710bd818a4 100644
--- a/license/index.php
+++ b/license/index.php
@@ -65,7 +65,7 @@
copyright (c) the PHP Documentation Group
- Summary in human-readable form
- - Practical Information: Documentation HOWTO
+ - Practical Information: Documentation HOWTO