diff --git a/docs.php b/docs.php index a7003afd07..dff30bee3c 100644 --- a/docs.php +++ b/docs.php @@ -10,21 +10,11 @@ ?>
The PHP Manual is available online in a selection of languages. Please pick a language from the list below.
-- Note, that many languages are just under translation, and - the untranslated parts are still in English. Also some translated - parts might be outdated. The translation teams are - open to contributions. -
-View Online:
++ Note that many languages are still being translated, and + the untranslated parts are still in English. Some translated + parts might be outdated. The translation teams are + open to contributions. +
+The language currently being used as the default for you should be in bold above. You can change the setting for this on the diff --git a/urlhowto.php b/urlhowto.php index 64ceab1ec3..0f28a9f1eb 100644 --- a/urlhowto.php +++ b/urlhowto.php @@ -32,17 +32,17 @@ function a($href): void { ?> -
- When using the PHP.net website, there is even no need to get to + When using the PHP.net website, there is no need to use a search box to access the content you would like to see quickly. - You can use short PHP.net URLs to access pages directly. + You can instead use short PHP.net URLs to access pages directly.
- Note, that these shortcuts are expected to work on all mirror - sites, not just at the main site. If you find that some of these + Note that these shortcuts are expected to work on all mirror + sites, not just on the main site. If you find that some of these shortcuts are not working on your mirror site, please report them as a "PHP.net Website Problem" at https://bugs.php.net/.