diff options
Diffstat (limited to 'doc/ci/examples/php.md')
| -rw-r--r-- | doc/ci/examples/php.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ci/examples/php.md b/doc/ci/examples/php.md index db039b746e3..04a6a4ddef2 100644 --- a/doc/ci/examples/php.md +++ b/doc/ci/examples/php.md @@ -179,7 +179,7 @@ user following [the upstream installation guide][phpenv-installation]. Using phpenv also allows to easily configure the PHP environment with: -``` +```shell phpenv config-add my_config.ini ``` |