comparison check_sections_details.php @ 10:2c35af0d78f3

bug fixed: sessionId after saving
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 22 Jun 2015 14:27:13 +0200
parents 7258ccd8ef7d
children 0a03c75499e6
comparison
equal deleted inserted replaced
9:28f26315506e 10:2c35af0d78f3
176 } 176 }
177 ?> 177 ?>
178 </div> 178 </div>
179 </div> 179 </div>
180 <div id="panel"></div> 180 <div id="panel"></div>
181 <script>var version=<?php echo $version;?>;</script> 181 <script>
182 var version=<?php echo $version;?>;
183 var session_id = <?php echo $_GET['sessionId'];?>;
184 </script>
182 185
183 <script type="text/javascript"> 186 <script type="text/javascript">
184 function setCurrentEditor() { 187 function setCurrentEditor() {
185 // current_editor is gotten from LGService 188 // current_editor is gotten from LGService
186 var current_editor = <?php echo json_encode($current_editor) ?>; 189 var current_editor = <?php echo json_encode($current_editor) ?>;
192 } 195 }
193 196
194 document.getElementById("show_all").onclick = function(){showAll()}; 197 document.getElementById("show_all").onclick = function(){showAll()};
195 198
196 function showAll() { 199 function showAll() {
200 closeAll();
197 document.getElementById("editor_th").innerHTML = "Editor(version)"; 201 document.getElementById("editor_th").innerHTML = "Editor(version)";
198 document.getElementById("date_th").innerHTML = "Date/Time"; 202 document.getElementById("date_th").innerHTML = "Date/Time";
199 203
200 <?php 204 <?php
201 $editors = ""; 205 $editors = "";
225 document.getElementById("date_th").innerHTML = ""; 229 document.getElementById("date_th").innerHTML = "";
226 document.getElementById("editor").innerHTML = ""; 230 document.getElementById("editor").innerHTML = "";
227 document.getElementById("date").innerHTML = ""; 231 document.getElementById("date").innerHTML = "";
228 } 232 }
229 233
230
231 234
232 </script> 235 </script>
233 236
234 237
235 </body> 238 </body>