diff options
| -rw-r--r-- | interface.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interface.php b/interface.php index 5ea96ae..04e0af9 100644 --- a/interface.php +++ b/interface.php @@ -49,7 +49,7 @@ Note that the source word may be distorted. <!-- /Source and target textboxes --> <!-- Summary --> -<div id="view_summary" style="display:none;margin:2em"><strong>Session finished, thank you!</strong> View <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/summary" target="_blank">summary</a>.</div> +<div id="view_summary" style="display:none;margin:2em"><strong>Session finished, thank you!</strong> View <a href="http://postedit.cl.uni-heidelberg.de:<?php echo $db->port; ?>/summary" target="_blank">Summary</a>.</div> <!-- /Summary --> <!-- Buttons --> |