Skip to content

Grammar edits, move paragraph, removed div in docs.php #1902

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
pwright64 wants to merge 2 commits into
base: master
Choose a base branch
from
+12 −15
Open

Grammar edits, move paragraph, removed div in docs.php #1902

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
32aa8a5
Grammar edits, move paragraph, removed div in docs.php
pwright64 May 13, 2026
2010734
Update urlhowto.php
pwright64 May 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 7 additions & 10 deletions docs.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,21 +10,11 @@
?>

<h1>Documentation</h1>
<div class="content-box">

<p>
The PHP Manual is available online in a selection of languages.
Please pick a language from the list below.
</p>

<p>
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
<a href="https://doc.php.net/">open to contributions</a>.
</p>
</div>

<p>
View Online:
<?php
Expand All @@ -48,6 +38,13 @@
?>
</p>

<p>
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
<a href="https://doc.php.net/">open to contributions</a>.
</p>

<p>
The language currently being used as the default for you should be in
<strong>bold</strong> above. You can change the setting for this on the
Expand Down
10 changes: 5 additions & 5 deletions urlhowto.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,17 +32,17 @@ function a($href): void {

?>

<h1>Navigation tips&tricks</h1>
<h1>Navigation tips & tricks</h1>

<p>
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.
</p>

<p>
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
<a href="https://bugs.php.net/">https://bugs.php.net/</a>.
Expand Down