Johannes Meyer ca72bd5455 NavigationRendererInterface: Use "div" as default outer element tag ... "nav" is less often necessary. refs #5600		2015-09-07 09:48:32 +02:00
..
menu.phtml	NavigationRendererInterface: Use "div" as default outer element tag	2015-09-07 09:48:32 +02:00