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@…