-
Mike Hibler authored
We haven't had these problems in a long time and the setting of PHP_PORT was causing me grief--could not make it work for both old (php-extensions) and new (php56*) without major hassle.
fa2dbfd9
We haven't had these problems in a long time and the setting of PHP_PORT was causing me grief--could not make it work for both old (php-extensions) and new (php56*) without major hassle.