diff options
| author | zachwick <zach@zachwick.com> | 2017-05-15 13:41:00 (GMT) |
|---|---|---|
| committer | zachwick <zach@zachwick.com> | 2017-08-04 15:59:17 (GMT) |
| commit | 6b5617e5a4c87afd2c7f2f7b8cb03de2b6735627 (patch) | |
| tree | d689c6a54e319027ae89408a318f2f978641c510 /templates/html/htmlsearchresult.tpl | |
| parent | 0072ba56aa994208b61515c60b6cbfaee2244d4d (diff) | |
| download | Doxygen-6b5617e5a4c87afd2c7f2f7b8cb03de2b6735627.zip Doxygen-6b5617e5a4c87afd2c7f2f7b8cb03de2b6735627.tar.gz Doxygen-6b5617e5a4c87afd2c7f2f7b8cb03de2b6735627.tar.bz2 | |
Marks JS as freely licensed
Marking the resulting JS in this way ensures that visitors to the
resulting HTML documentation do not have to choose between running
non-free JS and experiencing the HTML documentation as it was
intended.
The JS was already freely licensed, so this change just
ensures that the appropriate labelling occurs so that GNU LibreJS [0]
parses the JS correctly as freely licensed.
[0] https://www.gnu.org/software/librejs/
Signed-off-by: zachwick <zach@zachwick.com>
Diffstat (limited to 'templates/html/htmlsearchresult.tpl')
| -rw-r--r-- | templates/html/htmlsearchresult.tpl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/templates/html/htmlsearchresult.tpl b/templates/html/htmlsearchresult.tpl index 2cf45fc..b795743 100644 --- a/templates/html/htmlsearchresult.tpl +++ b/templates/html/htmlsearchresult.tpl @@ -12,15 +12,19 @@ <div class="SRStatus" id="Loading">{{ tr.loading }}</div> <div id="SRResults"></div> <script type="text/javascript"><!-- +/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */ createResults(); +/* @license-end */ --></script> <div class="SRStatus" id="Searching">{{ tr.searching }}</div> <div class="SRStatus" id="NoMatches">{{ tr.noMatches }}</div> <script type="text/javascript"><!-- +/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */ document.getElementById("Loading").style.display="none"; document.getElementById("NoMatches").style.display="none"; var searchResults = new SearchResults("searchResults"); searchResults.Search(); +/* @license-end */ --></script> </div> </body> |