portal-ext.properties