Travis: Initiating build for commit 'bb67affddd7b8bbb41fb514df69d432fd456854f' on branch 'master': Merge pull request #5858 from czolnowski/add-name-to-html-menu

Add name parameter to MenuTop.