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
@@ -80,10 +80,8 @@
   - **MySQL**: You need MySQL. We strongly recommend MySQL 5.5 or newer.
     You will need a server with multiple databases.
   - **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.
+    - PHP 7 - 7.2 or newer.
+    - PHP 8 - 8.0 or newer.
   - **git**: You need git 2.5.0 or newer on the server.
     No particular version is needed on your clients.