Página Principal Explorar Ajuda
Registe-se Iniciar Sessão
iapt-platform
/
mint
mirror de https://github.com/iapt-platform/mint.git
2
0
Fork 0
Ficheiros Problemas 0 Wiki
Árvore: 1a54d60802
Ramos Etiquetas
mint
/
app
/
studio
/
index_head.php

index_head.php 4.0 KB
Histórico Em bruto

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091 
  1. <?php
    2. 

  2. require_once '../config.php';
    3. 

  3. require_once '../ucenter/login.php';
    4. 

  4. require_once '../public/config.php';
    5. 

  5. require_once '../public/load_lang.php';
    6. 

  6. ?>
    7. 

  7. 

  8. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
    9. 

  9. <html>
    10. 

  10. <head>
    11. 

  11. 	<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
    12. 

  12. 	<meta name="viewport" content="width=device-width, initial-scale=1.0">
    13. 

  13. 

  14. 	<link type="text/css" rel="stylesheet" href="../studio/css/style.css"/>
    15. 

  15. 	<link type="text/css" rel="stylesheet" href="../studio/css/color_day.css" id="colorchange" />
    16. 

  16. 

  17. 	<!-- generics -->
    18. 

  18. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon16.png" sizes="16x16">
    19. 

  19. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon32.png" sizes="32x32">
    20. 

  20. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon57.png" sizes="57x57">
    21. 

  21. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon76.png" sizes="76x76">
    22. 

  22. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon96.png" sizes="96x96">
    23. 

  23. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon128.png" sizes="128x128">
    24. 

  24. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon192.png" sizes="192x192">
    25. 

  25. 	<link rel="icon" type="image/png" href="../public/images/favicon/favicon228.png" sizes="228x228">
    26. 

  26. 	<link rel="icon" type="image/png" href="../public/images/favicon/android-chrome-512x512.png" sizes="512x512">
    27. 

  27. 

  28. 	<!-- Android -->
    29. 

  29. 	<link rel="shortcut icon" type="image/png" sizes="196x196" href="../public/images/favicon/favicon-196.png">
    30. 

  30. 

  31. 	<!-- iOS -->
    32. 

  32. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon120.png" sizes="120x120">
    33. 

  33. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon152.png" sizes="152x152">
    34. 

  34. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon167.png" sizes="167x167">
    35. 

  35. 	<link rel="apple-touch-icon" href="../public/images/favicon/apple-touch-icon180.png" sizes="180x180">
    36. 

  36. 

  37. 	<!-- Windows 8 IE 10-->
    38. 

  38. 	<meta name="msapplication-TileColor" content="#FFFFFF">
    39. 

  39. 	<meta name="msapplication-TileImage" content="../public/images/favicon/favicon144.png">
    40. 

  40. 

  41. 	<!-- Windows 8.1 + IE11 and above -->
    42. 

  42. 	<meta name="msapplication-config" content="../public/images/favicon/browserconfig.xml" />
    43. 

  43. 

  44. 	<link rel="shortcut icon" href="../public/images/favicon/favicon.ico">
    45. 

  45. 	<link rel="manifest" href="../public/images/favicon/site.webmanifest">
    46. 

  46. 	<link rel="mask-icon" href="../public/images/favicon/safari-pinned-tab.svg" color="#333333">
    47. 

  47. 	
    48. 

  48. 	<title id="page_title"><?php echo $_local->gui->pcd_studio; ?></title>
    49. 

  49. 

  50. 	<script src="../config.js"></script>
    51. 

  51. 

  52. 	<script src="../studio/js/common.js"></script>
    53. 

  53. 	<script src="../public/js/jquery.js"></script>	
    54. 

  54. 	<script src="../studio/js/fixedsticky.js"></script>	
    55. 

  55. 	
    56. 

  56. 	<link type="text/css" rel="stylesheet" href="../public/css/notify.css"/>
    57. 

  57. 	<script src="../public/js/notify.js"></script>
    58. 

  58. 

  59. 	<script src="../public/js/comm.js"></script>
    60. 

  60. 	
    61. 

  61. 	<script src="../public/js/jquery-ui-1.12.1/jquery-ui.js"></script>
    62. 

  62. 	<link type="text/css" rel="stylesheet" href="../public/js/jquery-ui-1.12.1/jquery-ui.css"/>	
    63. 

  63. 

  64. 	<script src="../term/term.js"></script>
    65. 

  65. 	<script src="../term/note.js"></script>
    66. 

  66. 	<script src="../term/term_popup.js"></script>
    67. 

  67. 	<link type="text/css" rel="stylesheet" href="../term/term.css"/>
    68. 

  68. 

  69. 	<script language="javascript" src="../guide/guide.js"></script>
    70. 

  70. 	<link type="text/css" rel="stylesheet" href="../guide/guide.css"/>
    71. 

  71. 

  72. 	<script src="../../node_modules/marked/marked.min.js"></script>
    73. 

  73. 	<script src="../../node_modules/mermaid/dist/mermaid.min.js"></script>
    74. 

  74. 

  75. 

  76. 	<script src="../widget/iframe_modal_win.js"></script>
    77. 

  77. 	<link type="text/css" rel="stylesheet" href="../widget/iframe_modal_win.css"/>
    78. 

  78. 

  79. 

  80. 	<script type="text/javascript">
    81. 

  81. 	<?php require_once '../public/load_lang_js.php';//加载js语言包?>
    82. 

  82. 		
    83. 

  83. 		var g_language="en";
    84. 

  84. 		function menuLangrage(obj){
    85. 

  85. 			g_language=obj.value;
    86. 

  86. 			setCookie('language',g_language,365);
    87. 

  87. 			window.location.assign("index.php?language="+g_language);
    88. 

  88. 		}
    89. 

  89. 	
    90. 

  90. 	</script>
    91. 

  91. </head>
    92.