Merge pull request #13084 from colemanw/menuCleanup
authorMonish Deb <monish.deb@jmaconsulting.biz>
Thu, 15 Nov 2018 07:26:36 +0000 (12:56 +0530)
committerGitHub <noreply@github.com>
Thu, 15 Nov 2018 07:26:36 +0000 (12:56 +0530)
dev/core#487 Menu cleanup in preparation for switch to SmartMenus library


Trivial merge