fix bug 940440 - Remove DevTools from dropdown
Merge pull request #1675 from darkwing/menu-940440

fix bug 940440 - Remove DevTools from dropdown