docs: add example to use a specific php version when using multiple ones

Co-authored-by: Tristan Charbonneau <tcharbonneau@oceanet-technology.com>
This commit is contained in:
Yoda-BZH 2020-04-20 10:50:35 +02:00 committed by GitHub
parent 02c507d667
commit 53068f73b0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -139,6 +139,9 @@ php:
opts: opts:
replace: false 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 # pool file contents. See php.ini.defaults for ini-style
# syntax guidelines. # syntax guidelines.
settings: settings: