girder/girder — pull request #559 by mgrauer (2014-12-09 20:34:30+00:00)
Title: allow navItems to be customized

@zachmullen this might be better, for #552 .