Closed Bug 940440 Opened 11 years ago Closed 11 years ago

Remove DevTools from the Web Platforms dropdown menu on MDN

Categories

(developer.mozilla.org Graveyard :: Design, defect)

defect
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: aspivak, Unassigned)

References

Details

DevTools lives within the Tools area and does not need to be located in the Web Platforms site area. Can we remove the link?
Commits pushed to master at https://github.com/mozilla/kuma https://github.com/mozilla/kuma/commit/c320cc309d9388b6a66f24a196e84305c093ee54 fix bug 940440 - Remove DevTools from dropdown https://github.com/mozilla/kuma/commit/613ac98e109a985519907ba311852566c4f55f93 Merge pull request #1675 from darkwing/menu-940440 fix bug 940440 - Remove DevTools from dropdown
Status: NEW → RESOLVED
Closed: 11 years ago
Resolution: --- → FIXED
Product: developer.mozilla.org → developer.mozilla.org Graveyard
You need to log in before you can comment on or make changes to this bug.