header.php 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <title><?php echo WEB_site_title; ?></title>
  5. <link rel="stylesheet" type="text/css" href="/<?php echo HTML_STYLE.'.css'; ?>">
  6. <script src="/js/jq/jquery.min.js"></script>
  7. <link href="/js/select2/css/select2.min.css" rel="stylesheet"/>
  8. <script src="/js/select2/js/select2.min.js"></script>
  9. <link rel="stylesheet" href="/js/jstree/themes/default/style.min.css" />
  10. <script src="/js/jstree/jstree.min.js"></script>
  11. <meta http-equiv="content-type" content="application/xhtml+xml" />
  12. <meta charset="UTF-8" />
  13. <script language="javascript">
  14. function checkAll(check) {
  15. var boxes = document.def.elements.length;
  16. if(check) {
  17. for(i=0; i<boxes; i++) {
  18. document.def.elements[i].checked = true;
  19. }
  20. } else {
  21. for(i=0; i<boxes; i++) {
  22. document.def.elements[i].checked = false;
  23. }
  24. }
  25. }
  26. $(document).ready(function() {
  27. $('.js-select-single').select2();
  28. });
  29. </script>
  30. </head>
  31. <body>
  32. <div id="title"><?php print get_const('org_name')?></div>
  33. <div id="navi">
  34. <a href="/admin/reports/index-full.php"><?php print WEB_title_reports; ?></a> |
  35. <a href="/admin/groups/"><?php print WEB_title_groups; ?></a> |
  36. <a href="/admin/users/"><?php print WEB_title_users; ?></a> |
  37. <a href="/admin/iplist/"><?php print WEB_title_users_ips; ?></a> |
  38. <a href="/admin/filters/"><?php print WEB_title_filters; ?></a> |
  39. <a href="/admin/queues/"><?php print WEB_title_shapers; ?></a> |
  40. <a href="/admin/devices/"><?php print WEB_title_devices; ?></a> |
  41. <a href="/admin/customers/control.php"><?php print WEB_title_control; ?></a> |
  42. <a href="/admin/logs/"><?php print WEB_title_logs; ?></a> |
  43. <a href="/logout.php"><?php print WEB_title_exit; ?></a>
  44. </div>