diff options
| author | Achilleas Pipinellis <axilleas@axilleas.me> | 2015-12-08 21:35:08 +0200 |
|---|---|---|
| committer | Achilleas Pipinellis <axilleas@axilleas.me> | 2015-12-08 21:35:08 +0200 |
| commit | cf44dc510786775a1303384d858eb0a7bf33c34f (patch) | |
| tree | 5acc68b0a17fc9ccf9eb1ff0869cf10add3c6e31 | |
| parent | 9dc91f46df377d6220928d6292dac73bc6bae295 (diff) | |
| download | gitlab-ce-cf44dc510786775a1303384d858eb0a7bf33c34f.tar.gz | |
Add note about the various phpenv tools
| -rw-r--r-- | doc/ci/languages/php.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/ci/languages/php.md b/doc/ci/languages/php.md index 60079c090d3..dacb67fa3ff 100644 --- a/doc/ci/languages/php.md +++ b/doc/ci/languages/php.md @@ -179,6 +179,14 @@ Using phpenv also allows to easily configure the PHP environment with: phpenv config-add my_config.ini ``` +*__Important note:__ It seems `phpenv/phpenv` + [is abandoned](https://github.com/phpenv/phpenv/issues/57). There is a fork + at [madumlao/phpenv](https://github.com/madumlao/phpenv) that tries to bring + the project back to life. [CHH/phpenv](https://github.com/CHH/phpenv) also + seems like a good alternative. Picking any of the mentioned tools will work + with the basic phpenv commands. Guiding you to choose the right phpenv is out + of the scope of this tutorial.* + ### Install custom extensions Since this is a pretty bare installation of the PHP environment, you may need |