[GNUnet-SVN] r585 - i18nHTML/src

[grothoff]

Author: grothoff
Date: 2005-04-03 20:36:12 -0700 (Sun, 03 Apr 2005)
New Revision: 585

Added:
   i18nHTML/src/update.php
Modified:
   i18nHTML/src/i18nhtml.inc
   i18nHTML/src/translate.php
Log:
drafting conversion script

Modified: i18nHTML/src/i18nhtml.inc
===================================================================
--- i18nHTML/src/i18nhtml.inc   2005-04-04 02:54:54 UTC (rev 584)
+++ i18nHTML/src/i18nhtml.inc   2005-04-04 03:36:12 UTC (rev 585)
@@ -788,6 +788,7 @@
 function TRANSLATE_($a,$args=null) {
   if ($a == "")
     return 0;
+  echo "VNS>>" . translation_query($a) . "<<\n";
   return vsprintf(translation_query($a), $args);
 }
 

Modified: i18nHTML/src/translate.php
===================================================================
--- i18nHTML/src/translate.php  2005-04-04 02:54:54 UTC (rev 584)
+++ i18nHTML/src/translate.php  2005-04-04 03:36:12 UTC (rev 585)
@@ -91,9 +91,9 @@
    printf("<tr><td>%s</td><td><a href=\"" . $i18nHTMLbase . 
"vote.php?xlang=%s&text=%s&translation=%s\">%s</a></td></tr>\n",
           W_($row["lang"]),
           urlencode($row["lang"]),
-         urlencode($text),
-         $translation,
-         urldecode($translation));
+         $u,
+         urlencode(from_unicode($translation)),
+         fix(from_unicode($translation)));
  }
 echo "</table>";
 

Added: i18nHTML/src/update.php
===================================================================
--- i18nHTML/src/update.php     2005-04-04 02:54:54 UTC (rev 584)
+++ i18nHTML/src/update.php     2005-04-04 03:36:12 UTC (rev 585)
@@ -0,0 +1,30 @@
+<?php
+include("i18nhtml.inc");
+?>
+# This script merely generates the SQL statements<br>
+# to do the update.  You'll have to run the SQL<br>
+# commands yourself to prevent accidental data loss.<br>
+# <pre>
+<?php
+echo "use $i18nHTMLsqlDB;\n";
+$query = "SELECT * FROM map";
+$result = mysql_query($query, $connection);
+$num = 0;
+if ($result) 
+  $num = mysql_numrows($result);
+for ($ii=0;$ii<$num;$ii++) {
+  $row = mysql_fetch_array($result);
+  $la = mysql_real_escape_string($row["lang"]);
+  $src = mysql_real_escape_string($row["name"]); // urlencoded
+  $dst = $row["translation"]; // possibly urlencoded
+  $rank = $row["ranking"];
+  $rtrans = mysql_real_escape_string(to_unicode(urldecode($dst)));
+  $dst = mysql_real_escape_string($dst);
+  if ($rtrans != $dst) {
+    $subquery = "UPDATE map SET translation=\"$rtrans\" WHERE name=\"$src\" 
AND lang=\"$la\" AND translation=\"$dst\" AND ranking=$rank;\n";
+    echo "$subquery\n";
+  }
+ }
+?>
+# </pre>
+# end of conversion