added server-extension-configuration and property-configuration