yui/pure — pull request #196 by rafalwrzeszcz (2013-09-14 08:37:37+00:00)
Title: HTML5 <menu> element support.

Added support for `` element for Menu module.