VladPolskiy/php-web-doc
1
0
Fork 0
mirror of https://github.com/php/web-doc.git synced 2025-08-10 02:56:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Pierre Grimaud
2019-03-20 14:45:02 +01:00
parent ebb5db92ee
commit 5909e1b832
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tutorial/editing.md
View File

@ -50,7 +50,7 @@ If you have the appropriate [commit karma][karma], you can commit your modified
## Viewing changes online
Documentation is built every night, at around 23:00 CST, then synced out to the
website mirrors. However, there is a special mirror at [docs.php.net][docs] - where
the manual is updated from sources every six hours. If any errors occured, a message
the manual is updated from sources every six hours. If any errors occurred, a message
will be delivered to the appropriate mailinglist (`doc-{LANG}@lists.php.net`).
Read more about manual builds in the [builds appendix](builds.php).