mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
fix bug #34817: misspelled word
This commit is contained in:
@@ -311,7 +311,7 @@ $minute = rand(0, 59);
|
||||
<p>
|
||||
If you have an offical mirror site but it is not listed on
|
||||
<a href="/mirrors.php">mirrors.php</a>, then your mirror is probably detected
|
||||
to be disfunctional for our users. Mirror sites inaccessible for more than
|
||||
to be nonfunctional for our users. Mirror sites inaccessible for more than
|
||||
three days, not updated for more than seven days, or having any major error in
|
||||
their setup are removed automatically from the listing for our user's
|
||||
convinience. We send out a notification to all automatically disabled mirror
|
||||
|
||||
@@ -11,7 +11,7 @@ site_header("Mirror Sites");
|
||||
<p>
|
||||
Here you can find information about the mirrors of PHP.net. This page only
|
||||
lists the official mirrors, registered in our database. The mirrors automatically
|
||||
detected to be outdated or disfunctional are not listed for your convinience, so
|
||||
detected to be outdated or nonfunctional are not listed for your convinience, so
|
||||
there may be a mirror (or some mirrors) with problems in your country additionaly
|
||||
to those listed here. Therefore if you cannot find mirror sites in your country
|
||||
here, or the mirror site you used seems to be disappeared, check back later.
|
||||
|
||||
Reference in New Issue
Block a user