josegonzalez/homebrew-php — pull request #694 by semalead (2013-08-23 08:34:47+00:00)
Title: Leveldb fix

Wrong classes names for php53-leveldb and php54-leveldb