com web/doc: docs server builds every 4 hours: tutorial/editing.md

Commit:    44c0d1b0df3be3a85610931ee306b36615cccafc=0AAuthor:    Peter Cowb=
urn <[email protected]>         Fri, 22 May 2020 12:16:34 +0100=0AParents:   =
74e62bf8092d385be9223c856cae6a2abddccbda=0ABranches:  master=0A=0ALink:    =
   http://git.php.net/?p=3Dweb/doc.git;a=3Dcommitdiff;h=3D44c0d1b0df3be3a85=
610931ee306b36615cccafc=0A=0ALog:=0Adocs server builds every 4 hours=0A=0AC=
hanged paths:=0A  M  tutorial/editing.md=0A=0A=0ADiff:=0Adiff --git a/tutor=
ial/editing.md b/tutorial/editing.md=0Aindex 512c4b8..b1f7bc8 100644=0A--- =
a/tutorial/editing.md=0A+++ b/tutorial/editing.md=0A@@ -50,7 +50,7 @@ If yo=
u have the appropriate [commit karma][karma], you can commit your modified=
=0A ## Viewing changes online=0A Documentation is built every night, at aro=
und 23:00 CST, then synced out to the=0A website mirrors. However, there is=
 a special mirror at [docs.php.net][docs] - where=0A-the manual is updated =
from sources every six hours. If any errors occurred, a message=0A+the manu=
al is updated from sources every four hours. If any errors occurred, a mess=
age=0A will be delivered to the appropriate mailinglist (`doc-{LANG}@lists.=
php.net`).=0A =0A Read more about manual builds in the [builds appendix](bu=
ilds.php).=0A