From 53068f73b0bc0e40ce80fea4eac1e8fb0f159808 Mon Sep 17 00:00:00 2001
From: Yoda-BZH <yodabzh@gmail.com>
Date: Mon, 20 Apr 2020 10:50:35 +0200
Subject: [PATCH] docs: add example to use a specific php version when using
 multiple ones

Co-authored-by: Tristan Charbonneau <tcharbonneau@oceanet-technology.com>
---
 pillar.example | 3 +++
 1 file changed, 3 insertions(+)

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: