thephpleague/geotools — pull request #37 by toin0u (2014-05-15 23:47:42+00:00)
Title: Hotfix hhvm

Use hhvm-nightly and remove mango.so extension. It's now hhvm compatible :)