From: peterpennings <peterpnns at gmail.com> This patch removes unnecessary IDs from navbar to avoid warnings in HTML peterpennings (1): Remove unnecessary IDs from navbar ui/js/src/wok.main.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) -- 2.5.0