A HHVM-PHP extension for interfacing with Apache ZooKeeper