diff --git a/pillar.example b/pillar.example
index 9b0b567..73a1909 100644
--- a/pillar.example
+++ b/pillar.example
@@ -139,6 +139,9 @@ php:
         opts:
           replace: false
 
+        # If using multiple php versions, force the pool to use a specific one
+        phpversion: "7.2"
+
         # pool file contents. See php.ini.defaults for ini-style
         # syntax guidelines.
         settings: