Gildas 14b3f62f37 removed usage of native tag names for ui components vor 7 Jahren
..
content-ui.js 14b3f62f37 removed usage of native tag names for ui components vor 7 Jahren
infobar.js 8aaa2a8965 added missing globals vor 7 Jahren