Sync configuration files with platform.ui configurations

[vogella]

This will make merging the repos easier, as we will not see a merge conflict in extensions.xml during the merge