Code

gitweb: show active project_filter in project_list page header