id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
10968	Add container_element arg to wp_page_menu()	stebbiv		"I have added a new argument to the wp_page_menu template tag so it replaces the container div with another HTML element.

This is useful when migrating to HTML 5 and you want to use the <nav> element."	enhancement	new	normal	Future Release	Template		normal		has-patch	stebbiv@…