phpenv/phpenv — pull request #30 by mumumu (2013-07-23 03:11:11+00:00)
Title: PHP 5.2 for Linux support

### Description

This pull request adds support for PHP 5.2 on Linux, includes a new build configuration and a small patch for OSX specific routine.