Ian LewisandgVisor bot 78f0a423aa Fix grouping and ordering of website menus ...

Groups subcategories and sorts their pages by weight properly. Subcategories
are sorted by name. Pages within subcategories are sorted by weight.

PiperOrigin-RevId: 324766128

2020-08-04 01:07:42 -07:00

..

base.html

…

blog.html

…

default.html

…

docs.html

…

post.html

…