
  <script type="text/javascript" src="{$translation}"></script>
  <script type="text/javascript">
    var server = "{$server}";
    var credentials = {$credentials};
    var category = "{$category}";
    var lang = "{$lang}";
    var workspace = "{$workspace}";
    var timezoneArray = {$timezoneArray};
  </script>

  