File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -32,17 +32,17 @@ function a($href): void {
3232
3333?>
3434
35- <h1>Navigation tips& tricks</h1>
35+ <h1>Navigation tips & tricks</h1>
3636
3737<p>
38- When using the PHP.net website, there is even no need to get to
38+ When using the PHP.net website, there is no need to use
3939 a search box to access the content you would like to see quickly.
40- You can use short PHP.net URLs to access pages directly.
40+ You can instead use short PHP.net URLs to access pages directly.
4141</p>
4242
4343<p>
44- Note, that these shortcuts are expected to work on all mirror
45- sites, not just at the main site. If you find that some of these
44+ Note that these shortcuts are expected to work on all mirror
45+ sites, not just on the main site. If you find that some of these
4646 shortcuts are not working on your mirror site, please report them
4747 as a "PHP.net Website Problem" at
4848 <a href="https://bugs.php.net/">https://bugs.php.net/</a>.
You can’t perform that action at this time.
0 commit comments