- Patch #11725 by mrrowe: custom menus are not wrapped in <div class="menu"> tags which made their appearance differ from the built-in "navigation" menu.