Gildas ac06e35e94 added pulse animation on "..." status label 7 years ago
..
content-ui.js ac06e35e94 added pulse animation on "..." status label 7 years ago
infobar.js 8aaa2a8965 added missing globals 7 years ago