Support bugzilla repository names
Merge branch 'master' into mediawiki
Convert title and project name in navbar