PHP extension for Ming library
