Removed developer option from the properties
Note about the change in portal-ext.properties