commit 49e9181fcb3c0377b42271d867e6773880ed9ac8 parent fbc6ca989df367cb8deb68ab6f9e963cdaac3a4b Author: Daniel Gultsch <daniel@gultsch.de> Date: Thu, 3 Aug 2017 18:56:06 +0200 change html generator to include note on omemo Diffstat:
M | reports/tohtml.php | | | 6 | +++++- |
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/reports/tohtml.php b/reports/tohtml.php @@ -131,7 +131,11 @@ if (count($argv) >= 2 && $argv[1] === 'ranked') { <th></th> <?php foreach($headers as &$head) { - echo "<th>".htmlentities($head)."</th>"; + echo "<th>".htmlentities($head); + if (strpos($head,'OMEMO') !== false) { + echo ' <sup><a href="https://github.com/iNPUTmice/ComplianceTester/blob/master/src/main/java/eu/siacs/compliance/tests/OMEMO.java#L12-L17">?</a></sup>'; + } + echo "</th>"; } ?> </tr>