php extension for using libconfig (v1)