diff options
Diffstat (limited to 'interface.php')
-rw-r--r-- | interface.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/interface.php b/interface.php index 5ea96ae..00d8779 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 --> @@ -109,5 +109,6 @@ Note that the source word may be distorted. <textarea style="display:none" id="data" ></textarea> <textarea style="display:none" id="original_svg" ></textarea> <textarea style="display:none" id="original_mt" ></textarea> +<textarea style="display:none" id="name" ><?php echo $_GET["name"]; ?></textarea> <!-- /Data --> |