diff --git a/src/docs/user/installation_guide.diviner b/src/docs/user/installation_guide.diviner
--- a/src/docs/user/installation_guide.diviner
+++ b/src/docs/user/installation_guide.diviner
@@ -79,8 +79,11 @@
 
   - **MySQL**: You need MySQL. We strongly recommend MySQL 5.5 or newer.
     You will need a server with multiple databases.
-  - **PHP**: You need PHP 5.5 or newer. Note that PHP 8.1 and above are not
-    fully supported.
+  - **PHP**: You need a PHP engine:
+    - PHP 5 - 5.5 or newer.
+    - PHP 7 - 7.1 or newer.
+    - PHP 8 - **Not yet supported**. We're working on it as fast as we can,
+    and expect to support PHP 8 Real Soon Now.
   - **git**: You need git 2.5.0 or newer on the server.
     No particular version is needed on your clients.