Add NOVA link to header

Duggan, Johnrequested to merge
141-add-nova-link-to-header into dev

Summary of Changes

This adds a NOVA dashboard link to the Galaxy masthead. I imagine there's a better way to do this, but I'm not sure what it should be.

I tried reading the galaxy_infrastructure_url from the config instead of using window.location, but it seems to not be available when the masthead is created. I also tried using the MastheadItem instead of an li tag, but that failed as the MastheadItem only supports font awesome icons.

Checklist

  • The MR has a clear and concise title
  • Code is self-documented and follows style guidelines.
  • Automated tests are written and pass successfully.
  • Regression tests (e.g. manually triggered system tests, manual GUI/tool tests, ...) are performed to make sure the MR does not break anything (when applicable)
  • Readme file is present and up-to-date.

Documentation Updates

Additional Notes

Closes #141 (closed)

Merge request reports