Merge branch 'patch-7' into 'master'

Update php.md - /.dockerinit was removed in v1.11 so the test always results in … See merge request !7882

Merge branch 'patch-7' into 'master'
9f8a389a · Achilleas Pipinellis · 51d269f8 · 48d89919 · 9f8a389a
Commit 9f8a389a authored Dec 07, 2016 by Achilleas Pipinellis
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

php.md doc/ci/examples/php.md +1 -1

No files found.
--- a/doc/ci/examples/php.md
+++ b/doc/ci/examples/php.md
@@ -40,7 +40,7 @@ repository with the following content:
 #!/bin/bash

 # We need to install dependencies only for Docker
-[[ ! -e /.dockerenv ]] && [[ ! -e /.dockerinit ]] && exit 0
+[[ ! -e /.dockerenv ]] && exit 0

 set -xe