Upgraded Portal, and handles case where extensions and views with the same name have already been loaded.