--- a/admin.php	Fri Dec 06 11:29:59 2013 +0200
+++ b/admin.php	Fri Dec 06 15:11:21 2013 +0200
@@ -100,13 +100,11 @@
 {
 ?>
 <script type="text/javascript">
-// <? stCreateSettingsData(); stCommonAJAX("admajax.php", "admlogout.php", FALSE); ?>
+// <? stCreateSettingsData(); stCommonAJAX("admajax.php", "admlogout.php", FALSE, TRUE); ?>
 
 
 var activeAttendee = -1, prevAttendee = -1;
 var activeTmp = "";
-var registeredTabs = Object();
-var activeTabs = Object();
 
 
 function jsCloseAdminPopup()
@@ -211,9 +209,9 @@
       try {
         var tmp = JSON.parse("{"+ txt +"}");
         registeredTabs["CM"] = tmp;
-        updateTabList("CM", "");
+        jsUpdateTabList("CM", "");
         if (activeTabs["CM"])
-          switchActiveTab("CM", activeTabs["CM"]);
+          jsSwitchActiveTab("CM", activeTabs["CM"]);
       }
       catch (err) {
         jsMessageBox("JSON.parse("+ txt +") failure: "+ err);
@@ -716,57 +714,6 @@
 }
 
 
-
-function updateTabList(tabset, extra)
-{
-  var tabs = "";
-  var content = "";
-
-  for (var id in registeredTabs[tabset])
-  {
-    var thead = registeredTabs[tabset][id];
-    tabs += "<a id=\"tabHead"+ tabset + id +
-      "\"href=\"#\" onClick=\"switchActiveTab('"+tabset+"', '"+id+
-      "')\">"+ thead.replace(/\s/g, "&nbsp;") +"</a> ";
-    
-    content += "<div id=\"tabCont"+ tabset + id +"\"></div>";
-  }
-
-  var item = document.getElementById("tabHeaders"+ tabset);
-  if (item) item.innerHTML = tabs + extra;
-
-  item = document.getElementById("tabContents"+ tabset);
-  if (item) item.innerHTML = content;
-}
-
-
-function registerTab(tabset, id, name)
-{
-  if (!registeredTabs[tabset])
-    registeredTabs[tabset] = Object();
-
-  registeredTabs[tabset][id] = name;
-}
-
-
-function switchActiveTab(tabset, tab)
-{
-  for (var id in registeredTabs[tabset])
-  {
-    var tabContent = document.getElementById("tabCont"+ tabset + id);
-    var tabHead = document.getElementById("tabHead"+ tabset + id);
-    if (tabContent && tabHead)
-    {
-      tabContent.style.display = (tab == id) ? "block" : "none";
-      tabHead.style.borderTop = (tab == id) ? "4px solid white" : "none";
-      if (tab == id)
-      {
-        activeTabs[tabset] = id;
-        setTimeout("refreshDispatch"+ tabset +"('"+ id +"');", 10);
-      }
-    }
-  }
-}
 </script>
 
 <!-- ========================== -->
@@ -779,17 +726,17 @@
 <div id="tabContentsCC" class="tabContents"></div>
 
 <script type="text/javascript">
-  registerTab("CC", "Settings", "Settings");
-  registerTab("CC", "News", "News");
-  registerTab("CC", "Attendees", "Attendees");
-  registerTab("CC", "Voting", "Voting");
-  registerTab("CC", "Compos", "Compos");
-  registerTab("CC", "Entries", "Entries");
-  registerTab("CC", "InfoSys", "Infosystem");
-  updateTabList("CC",
+  jsRegisterTab("CC", "Settings", "Settings");
+  jsRegisterTab("CC", "News", "News");
+  jsRegisterTab("CC", "Attendees", "Attendees");
+  jsRegisterTab("CC", "Voting", "Voting");
+  jsRegisterTab("CC", "Compos", "Compos");
+  jsRegisterTab("CC", "Entries", "Entries");
+  jsRegisterTab("CC", "InfoSys", "Infosystem");
+  jsUpdateTabList("CC",
     "<a class=\"admin\" href=\"admlogout.php\">Logout</a> " +
     "<a class=\"admin\" href=\"about\">Mainpage</a>");
-  switchActiveTab("CC", "Settings");
+  jsSwitchActiveTab("CC", "Settings");
 </script>
 <?
 }