diff options
| -rw-r--r-- | .htaccess | 4 | ||||
| -rw-r--r-- | index.php | 25 | ||||
| -rw-r--r-- | interface.php | 2 |
3 files changed, 15 insertions, 16 deletions
@@ -1,4 +1,4 @@ -AuthName "Postedit Login" +AuthName "Post-Editing Interface" AuthType Basic -AuthUserFile /workspace/post_editing/conf/.htpasswd +AuthUserFile /fast_scratch/simianer/lfpe/.htpasswd require valid-user @@ -1,7 +1,7 @@ <html> <head> <meta charset="utf-8" /> - <title>Post-editing application</title> + <title>Post-Editing Interface</title> <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js" charset="utf-8"></script> <link rel="stylesheet" type="text/css" href="static/main.css" /> </head> @@ -11,7 +11,7 @@ <?php include("header.inc.php"); ?> <form method="get" action="interface.php"> - <strong>Please enter your session key:</strong> <input type="text" id="key" name="key" /> + <strong>Please enter your session key:</strong> <input type="text" id="key" name="key" style="width:20em" /> Session type: <select name="ui_type"> <option value="t">text</option> @@ -24,17 +24,16 @@ <div class="small" style="background:#eee;margin: 5em 0 5em 0;padding:.5em; max-width:20%"> <p>Beta test: <select class="small"> - <option value="beta_test_A" onclick="document.getElementById('key').value=this.value;">A</option> - <option value="product/de-en/beta/A" onclick="document.getElementById('key').value=this.value;">A [new]</option> - <option value="beta_test_A_nolearn" onclick="document.getElementById('key').value=this.value;">A (no learning)</option> - <option value="beta_test_A_nomt" onclick="document.getElementById('key').value=this.value;">A (no MT)</option> - <option value="beta_test_A_sparse" onclick="document.getElementById('key').value=this.value;">A (sparse)</option> - <option value="beta_test_B" onclick="document.getElementById('key').value=this.value;">B</option> - <option value="beta_test_B_sparse" onclick="document.getElementById('key').value=this.value;">B (sparse)</option> - <option value="beta_test_C" onclick="document.getElementById('key').value=this.value;">C</option> - <option value="beta_test_C_sparse" onclick="document.getElementById('key').value=this.value;">C (sparse)</option> - <option value="beta_test_D" onclick="document.getElementById('key').value=this.value;">D</option> - <option value="beta_test_D_sparse" onclick="document.getElementById('key').value=this.value;">D (sparse)</option> + <option value="product_de-en_beta_test_A" onclick="document.getElementById('key').value=this.value;">A</option> + <option value="product_de-en_beta_test_A_nolearn" onclick="document.getElementById('key').value=this.value;">A [no updates]</option> + <option value="product_de-en_beta_test_A_nomt" onclick="document.getElementById('key').value=this.value;">A [no MT]</option> + <option value="product_de-en_beta_test_A_sparse" onclick="document.getElementById('key').value=this.value;">A [sparse]</option> + <option value="product_de-en_beta_test_B" onclick="document.getElementById('key').value=this.value;">B</option> + <option value="product_de-en_beta_test_B_sparse" onclick="document.getElementById('key').value=this.value;">B [sparse]</option> + <option value="product_de-en_beta_test_C" onclick="document.getElementById('key').value=this.value;">C</option> + <option value="product_de-en_beta_test_C_sparse" onclick="document.getElementById('key').value=this.value;">C [sparse]</option> + <option value="product_de-en_beta_test_D" onclick="document.getElementById('key').value=this.value;">D</option> + <option value="product_de-en_beta_test_D_sparse" onclick="document.getElementById('key').value=this.value;">D [sparse]</option> <option value="toy_example" onclick="document.getElementById('key').value=this.value;">toy example</option> </select> </p> diff --git a/interface.php b/interface.php index ab38f72..da87ad0 100644 --- a/interface.php +++ b/interface.php @@ -1,7 +1,7 @@ <html> <head> <meta charset="utf-8" /> - <title>Post-editing application (Session: #<?php echo $_GET["key"]; ?>)</title> + <title>Post-Editing Interface (Session: #<?php echo $_GET["key"]; ?>)</title> <link rel="stylesheet" type="text/css" href="static/main.css" /> <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js" charset="utf-8"></script> <script src="js/common.js" charset="utf-8"></script> |