DevTools Extensions API linking issues.

[addyosmani]

Cross-posted from a bug report on crbug at https://code.google.com/p/chromium/issues/detail?id=469135

Steps to reproduce the problem:

1. Open https://developer.chrome.com/devtools link
2. Click on 'DEV TOOLS' menu item and click on 'DevTools Extensions API' link which is under 'Reference' section.
3. You will be re directed to 'Integrating with DevTools' instead of 'DevTools Extensions API'.

What is the expected behavior? When ever i try to access the 'DevTools Extensions API' page, it should navigate to that page only.

What went wrong?

I am in 'https://developer.chrome.com/devtools' page, and i am trying to access 'DevTools Extensions API' link, which is under 'DEV TOOLS' menu item, but the webpage is navigating to 'https://developer.chrome.com/devtools/docs/integrating', which describe 'Integrating with DevTools'. I think the page related to 'DevTools Extensions API' is not working.

[Garbee]

I just commented on the upstream bug with what I'm pretty certain needs to be done. Leaving this open for now in case I was wrong and someone else here knows what needs doing.

Do note though, not an issue within the doc repo itself since the menu is generated from code in Chromium.