2
0

tree_designer.php 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167
  1. <?php
  2. require 'checklogin.inc';
  3. require 'config.php';
  4. if(isset($_GET["language"])){
  5. $currLanguage=$_GET["language"];
  6. $_COOKIE["language"]=$currLanguage;
  7. }
  8. else{
  9. if(isset($_COOKIE["language"])){
  10. $currLanguage=$_COOKIE["language"];
  11. }
  12. else{
  13. $currLanguage="en";
  14. $_COOKIE["language"]=$currLanguage;
  15. }
  16. }
  17. //load language file
  18. if(file_exists($dir_language.$currLanguage.".php")){
  19. require $dir_language.$currLanguage.".php";
  20. }
  21. else{
  22. include $dir_language."default.php";
  23. }
  24. if(isset($_GET["device"])){
  25. $currDevice=$_GET["device"];
  26. }
  27. else{
  28. if(isset($_COOKIE["device"])){
  29. $currDevice=$_COOKIE["device"];
  30. }
  31. else{
  32. $currDevice="computer";
  33. }
  34. }
  35. ?>
  36. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
  37. <html>
  38. <head>
  39. <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
  40. <meta name="viewport" content="width=device-width, initial-scale=1.0">
  41. <link type="text/css" rel="stylesheet" href="css/style.css"/>
  42. <link type="text/css" rel="stylesheet" href="css/color_day.css" id="colorchange" />
  43. <link type="text/css" rel="stylesheet" href="css/style_mobile.css" media="screen and (max-width:800px)">
  44. <link type="text/css" rel="stylesheet" href="<?php echo $dir_user_base.$userid.$dir_myApp; ?>/style.css"/>
  45. <title>PCD Studio</title>
  46. <script language="javascript" src="config.js"></script>
  47. <script language="javascript" src="js/common.js"></script>
  48. <script language="javascript" src="js/xml.js"></script>
  49. <script language="javascript" src="js/search.js"></script>
  50. <script language="javascript" src="<?php echo $dir_user_base.$userid.$dir_myApp; ?>/userinfo.js"></script>
  51. <script language="javascript" src="module/editor/language/default.js"></script>
  52. <script language="javascript" src="module/editor/language/<?php echo $currLanguage; ?>.js"></script>
  53. <script language="javascript" src="module/editor_palicannon/palicannon.js"></script>
  54. <script language="javascript" src="module/editor_palicannon/language/<?php echo $currLanguage; ?>.js"></script>
  55. <!--加载语言文件 -->
  56. <script language="javascript" src="language/default.js"></script>
  57. <?php
  58. if(file_exists("../user/App/language/$currLanguage.js")){
  59. echo("<script language=\"javascript\" src=\"../user/App/language/$currLanguage.js\"></script>");
  60. }
  61. else{
  62. echo("<script language=\"javascript\" src=\"language/$currLanguage.js\"></script>");
  63. }
  64. ?>
  65. <!--加载语言文件结束 -->
  66. <script src="js/jquery-3.3.1.min.js"></script>
  67. <script src="js/fixedsticky.js"></script>
  68. <script type="text/javascript">
  69. var g_device = "computer";
  70. var strSertch = location.search;
  71. if(strSertch.length>0){
  72. strSertch = strSertch.substr(1);
  73. var sertchList=strSertch.split('&');
  74. for ( i in sertchList){
  75. var item = sertchList[i].split('=');
  76. if(item[0]=="device"){
  77. g_device=item[1];
  78. }
  79. }
  80. }
  81. if(g_device=="mobile"){
  82. g_is_mobile=true;
  83. }
  84. else{
  85. g_is_mobile=false;
  86. }
  87. var g_language="en";
  88. function menuLangrage(obj){
  89. g_language=obj.value;
  90. setCookie('language',g_language,365);
  91. window.location.assign("search.php?language="+g_language);
  92. }
  93. function treedesign(){
  94. var tree_word=tree_head_input.value;
  95. show_word_map(tree_word)
  96. }
  97. </script>
  98. </head>
  99. <body class="indexbody" onload="">
  100. <!-- tool bar begin-->
  101. <div class='index_toolbar'>
  102. <div id="index_nav">
  103. <button><a href="index.php?language=<?php echo $currLanguage; ?>"><?php echo $module_gui_str['editor']['1018'];?></a></button>
  104. <button><a href="index_pc.php?language=<?php echo $currLanguage; ?>"><?php echo $module_gui_str['editor_wizard']['1002'];?></a></button>
  105. <button><a href="filenew.php?language=<?php echo $currLanguage; ?>"><?php echo $module_gui_str['editor']['1064'];?></a></button>
  106. <button class="selected"><?php echo $module_gui_str['editor']['1052'];?></button>
  107. </div>
  108. <div class="toolgroup1">
  109. <span><?php echo $module_gui_str['editor']['1050'];?></span>
  110. <select id="id_language" name="menu" onchange="menuLangrage(this)">
  111. <option value="en" >English</option>
  112. <option value="sinhala" >සිංහල</option>
  113. <option value="zh" >简体中文</option>
  114. <option value="tw" >繁體中文</option>
  115. </select>
  116. <?php
  117. echo $_local->gui->welcome;
  118. echo "<a href=\"setting.php?item=account\">";
  119. echo $_COOKIE["nickname"];
  120. echo "</a>";
  121. echo $_local->gui->to_the_dhamma;
  122. echo "<a href='login.php?op=logout'>";
  123. echo $_local->gui->logout;
  124. echo "</a>";
  125. ?>
  126. </div>
  127. </div>
  128. <!--tool bar end -->
  129. <script>
  130. document.getElementById("id_language").value="<?php echo($currLanguage); ?>";
  131. </script>
  132. <div class="index_inner" style="width: 100%;">
  133. <div id="search_div">
  134. <input id="tree_head_input" type="input" style="display: inline;width: 15em;" onkeydown="match_key(this)" onkeyup="unicode_key(this)" />
  135. <button onclick="">
  136. </button>
  137. </div>
  138. </div>
  139. <!-- Tool bar on right side -->
  140. <div class="foot_div">
  141. <?php echo $_local->gui->poweredby;?>
  142. </div>
  143. </body>
  144. </html>