Browse files

Merge pull request #231 from travis-ci/js-php-override-extension

Overriding PHP extension with own version note.
  • Loading branch information...
2 parents db372ba + 2a409d8 commit 586e1b61fd2f6268f8373bb4914879c0446b2134 @loicfrering loicfrering committed Mar 11, 2013
Showing with 5 additions and 0 deletions.
  1. +5 −0 docs/user/languages/
@@ -190,6 +190,11 @@ It is also possible to do the installation "manually", but you'll have to manual
See also the [full script using midgard2](
+If you need specific version of preinstalled extension, you need to force install specific version with the `-f` flag. For example:
+ pecl install -f mongo-1.2.12
### Chef Cookbooks for PHP
If you want to learn all the details of how we build and provision multiple PHP installations, see our [php, phpenv and php-build Chef cookbooks](

0 comments on commit 586e1b6

Please sign in to comment.