PHP extension for WDDX support
