Commit 632c578f authored by Guinness's avatar Guinness

Merge branch 'preprod' into 'master'

Update PHP version documentation

See merge request !130
parents 44d621ef ce78cda2