josegonzalez/homebrew-php — pull request #145 by phoenixsong6 (2012-06-26 17:52:42+00:00)
Title: PHP53: Use libedit

Substitutes `libedit` for `libreadline`.

Should fix #141 and #144