Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dev Tools link should not appear if there are no dev tools #9165

Closed
epixa opened this issue Nov 21, 2016 · 0 comments
Closed

Dev Tools link should not appear if there are no dev tools #9165

epixa opened this issue Nov 21, 2016 · 0 comments
Labels
bug Fixes for quality problems that affect the customer experience Feature:Dev Tools

Comments

@epixa
Copy link
Contributor

epixa commented Nov 21, 2016

Since dev tools are added via plugins, it's possible that individual dev tools can be disabled. If all individual dev tools are disabled, the dev tools link should not appear at all.
@epixa epixa added Feature:Dev Tools bug Fixes for quality problems that affect the customer experience labels Nov 21, 2016
@epixa epixa mentioned this issue Nov 21, 2016
Closed
@jbudz jbudz mentioned this issue Dec 14, 2016
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Fixes for quality problems that affect the customer experience Feature:Dev Tools
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@epixa