You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

115 lines
4.7KB

  1. <?php
  2. function changeColor() {
  3. if ($GLOBALS["THEME"] == "white") {
  4. $GLOBALS["THEME"] = "black";
  5. } else {
  6. $GLOBALS["THEME"] = "white";
  7. }
  8. setcookie("color-theme", $GLOBALS["THEME"], time() + (365 * 24 * 60 * 60)); // expires in 1 year
  9. // force page reload
  10. header("location: " . $_server["script_name"]);
  11. exit();
  12. }
  13. if (file_exists("/home/falktx/Personal/FOSS/")) {
  14. $ROOT = "/distrho";
  15. } else {
  16. $ROOT = "";
  17. }
  18. if (isset($_COOKIE["color-theme"])) {
  19. $GLOBALS["THEME"] = htmlspecialchars($_COOKIE["color-theme"]);
  20. } else {
  21. $GLOBALS["THEME"] = "white";
  22. }
  23. if (isset($_POST["changeColorNow"])) {
  24. changeColor();
  25. }
  26. $VERSION_DPF = "v1.1";
  27. $VERSION_PORTS = "2018-04-16";
  28. $URL_DPF = "https://github.com/DISTRHO/DPF-Plugins/releases/download/" . $VERSION_DPF;
  29. $URL_PORTS = "https://github.com/DISTRHO/DISTRHO-Ports/releases/download/" . $VERSION_PORTS;
  30. ?>
  31. <!DOCTYPE html>
  32. <html lang="en">
  33. <head>
  34. <title>DISTRHO - Cross-Platform Audio Plugins</title>
  35. <meta charset="utf-8">
  36. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css-<?php echo $GLOBALS["THEME"]; ?>/reset.css" type="text/css" media="all">
  37. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css-<?php echo $GLOBALS["THEME"]; ?>/style.css?v=2" type="text/css" media="all">
  38. <?php if ($CURRENT_PAGE == "index") { ?>
  39. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css-<?php echo $GLOBALS["THEME"]; ?>/style-mini-news.css" type="text/css" media="all">
  40. <?php } ?>
  41. <link rel='stylesheet' href='https://fonts.googleapis.com/css?family=Raleway:200,300' type='text/css' media="all">
  42. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/jquery-1.4.2.min.js" ></script>
  43. <?php if ($CURRENT_PAGE == "index") { ?>
  44. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/roundabout.js"></script>
  45. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/roundabout_shapes.js"></script>
  46. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/gallery_init.js"></script>
  47. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/responsiveslides.min.js"></script>
  48. <?php } else if ($CURRENT_PAGE == "plugins" || $CURRENT_PAGE == "ports") { ?>
  49. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/prototype.js"></script>
  50. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/lightbox.js"></script>
  51. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/scriptaculous.js?load=effects,builder"></script>
  52. <script type="text/javascript">
  53. <?php
  54. if ($CURRENT_PAGE == "plugins") {
  55. $menuClasses = array("miniseries", "nekobi", "kars", "glbars", "prom");
  56. } else if ($CURRENT_PAGE == "ports") {
  57. $menuClasses = array("arctican", "dexed", "drowaudio", "easyssp", "juceopl", "juced", "klangfalter",
  58. "lufsmeter", "luftikus", "mverb", "ndc", "obxd", "pitcheddelay", "refine", "tal",
  59. "stereosourceseparator", "vex", "wolpertinger");
  60. } else {
  61. $menuClasses = array();
  62. }
  63. ?>
  64. jQuery(document).ready(function() {
  65. <?php for ($i = 0; $i < count($menuClasses); $i++) { ?>
  66. jQuery('img.menu_class_<?php echo $menuClasses[$i]; ?>').click(function() {
  67. jQuery('ul.the_menu_<?php echo $menuClasses[$i]; ?>').slideToggle('fast');
  68. });
  69. <?php } ?>
  70. });
  71. </script>
  72. <?php } ?>
  73. <script type="text/javascript">
  74. $(function() {
  75. // Slideshow 1
  76. $(".rslides").responsiveSlides({
  77. nav: false,
  78. pager: true,
  79. namespace: "centered-btns"
  80. });
  81. });
  82. </script>
  83. <!--[if lt IE 7]>
  84. <link rel="stylesheet" href="<?php echo $ROOT; ?>/css/ie/ie6.css" type="text/css" media="all">
  85. <![endif]-->
  86. <!--[if lt IE 9]>
  87. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/html5.js"></script>
  88. <script type="text/javascript" src="<?php echo $ROOT; ?>/js/IE9.js"></script>
  89. <![endif]-->
  90. </head>
  91. <body>
  92. <header>
  93. <div class="container">
  94. <h1><a href="<?php echo $ROOT; ?>/"><img src="<?php echo $ROOT; ?>/images/distrho-logo.png" alt="DISTRHO"/></a></h1>
  95. <nav>
  96. <ul>
  97. <li><a href="<?php echo $ROOT; ?>/" <?php if ($CURRENT_PAGE == "index") { ?> class="current" <?php } ?>>Home</a></li>
  98. <li><a href="<?php echo $ROOT; ?>/news" <?php if ($CURRENT_PAGE == "news") { ?> class="current" <?php } ?>>News</a></li>
  99. <li><a href="<?php echo $ROOT; ?>/plugins" <?php if ($CURRENT_PAGE == "plugins") { ?> class="current" <?php } ?>>Plugins</a></li>
  100. <li><a href="<?php echo $ROOT; ?>/ports" <?php if ($CURRENT_PAGE == "ports") { ?> class="current" <?php } ?>>Ports</a></li>
  101. <li><a href="<?php echo $ROOT; ?>/about" <?php if ($CURRENT_PAGE == "about") { ?> class="current" <?php } ?>>About</a></li>
  102. </ul>
  103. </nav>
  104. </div>
  105. </header>