tree 73f2241ee4778460eb05b4099fce04a5fc6a97fe
parent 062ce5096413a93badc26bfb8c96de66090c9a93
author Ole Rehmsen <oler@google.com> 1547727895 +0100
committer Ole Rehmsen <oler@google.com> 1547727895 +0100

Support specifying syntax highlighting language

The Gerrit API only returns the content_type, which is then used to
derive the programming language to pass to highlight.js. However, for
different users of gr-diff, it is more convenient to be able to specify
the programming language directly. This change supports that, and falls
back to use the MIME type when the language is not specified, so this
should keep working as it used to for everyone not specifying the
language explicitly.

Change-Id: I20d13af6319e099544411665f4a23a5ff150e443