push
github
Merge pull request #16944 from ronso0/menus-on-demand (performance) create more menus only on demand
0 of 46 new or added lines in 2 files covered. (0.0%)
2 existing lines in 2 files now uncovered.33530 of 110007 relevant lines covered (30.48%)
56158.75 hits per line