diff --git a/src/docs/user/installation_guide.diviner b/src/docs/user/installation_guide.diviner
index 749ca9a63d..8feb8ae1d0 100644
--- a/src/docs/user/installation_guide.diviner
+++ b/src/docs/user/installation_guide.diviner
@@ -70,8 +70,7 @@ Beyond an operating system, you will need **a webserver**.
 You will also need:
 
   - **MySQL**: You need MySQL. We strongly recommend MySQL 5.5 or newer.
-  - **PHP**: You need PHP 5.2 or newer, but note that PHP 7 is
-    **not supported**.
+  - **PHP**: You need PHP 5.2 or newer.
 
 You'll probably also need a **domain name**. In particular, you should read this
 note: