Update portal.properties

Adding portal-ext.properties override