Add "Report An Issue" action in developer documentation toc

[saivann]

This adds a "Report An Issue" entry in devel docs table of content, so people reading the documentation can easily report any mistake / typo on GitHub anywhere on the page. If javascript is enabled, the GitHub issue description is automatically filled with current browser location url.

Edit: Thanks to @harding for suggesting GitHub REST API idea.

[wbnns]

@saivann - great idea!

[harding]

@saivann I tested it, and it works well when I click the link normally. When I Ctrl-click (or third-mouse-button click) to open in a new tab, the URL isn't copied in the issue. Is that something which can be easily fixed or something which Javascript can't do easily?

Either way, a report-new-issue screen is opened, and this makes it easy for people to report issues, so LGTM as-is.

[saivann]

@gwb3 Thanks!
@harding Good catch, this should be fixed now.

[harding]

Tested again with open-new-tab and it works. LGTM. Thanks, @saivann!

[saivann]

Thanks! Merging this into the main pull req.