# HG changeset patch # User wenzelm # Date 1736090556 -3600 # Node ID 3af5379aac0e8c74237337dee1bd53f86e4c586f # Parent b836e9ac0cf3a081aeef13cfba474ec6c9b98b7e more documentation; diff -r b836e9ac0cf3 -r 3af5379aac0e src/Doc/System/Phabricator.thy --- a/src/Doc/System/Phabricator.thy Sun Jan 05 15:30:04 2025 +0100 +++ b/src/Doc/System/Phabricator.thy Sun Jan 05 16:22:36 2025 +0100 @@ -132,7 +132,8 @@ \<^medskip> A few other Setup Issues might be relevant as well, e.g.\ the timezone of the server. Some more exotic points can be ignored: Phorge provides careful explanations about what it thinks could be wrong, while leaving - some room for interpretation. + some room for interpretation. It may also help to reboot the host machine, + to make sure that all Webserver + PHP configuration is properly activated. \