Predis for hiphop for php (hhvm)