PHP::getAllProperties() returns ConfigPropertyMap