Move to portal-ext.properties