Consistent names needed in view.js and extensionmanager.js

The naming of Tabs, TabContainers, ExtensionTabs and ExtensionButtons (etc)
is not consistent.

A distinct and clear naming is necessary!

(from redmine: issue id 830, created on 2012-02-18 by root, closed on 2012-04-18)