fix 'dev tools' link
Merge pull request #1085 from darkwing/quick-menu-fix

fix 'dev tools' link