Move "Developer" link under "Tools" #13

danielbachhuber opened this Issue Aug 5, 2012 · 1 comment


None yet

3 participants


It's a tool, not a setting. Let's be semantically correct.


It's not important what the plugin is, it's what you're displaying on that page. While there is a setting there (hence the placement), I guess most of the items there fall under the tools category (installing plugins + configuring stuff) rather than controlling the plugin itself. So yes, I agree.

@joshbetz joshbetz closed this in bcb5646 Aug 5, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment