webinterface.git

1) <?php

2) /*
3) This file belongs to the Webinterface of schokokeks.org Hosting
4) 

5) Written by schokokeks.org Hosting, namely

6)   Bernd Wurst <bernd@schokokeks.org>
7)   Hanno Böck <hanno@schokokeks.org>
8) 

9) This code is published under a 0BSD license.

10) 
11) Nevertheless, in case you use a significant part of this code, we ask (but not require, see the license) that you keep the authors' names in place and return your changes to the public. We would be especially happy if you tell us what you're going to do with this code.
12) */

13) 

14) function show_page($path = null)

15) {

16)     global $prefix, $go, $title, $headline, $output, $module, $page, $html_header, $footnotes;

17) 

18)     $styles = [];

19)     if (file_exists("modules/{$module}/style.css")) {
20)         $styles[] = "modules/{$module}/style.css";
21)     }
22)     foreach ($styles as $style) {

23)         html_header('<link rel="stylesheet" href="' . $prefix . $style . '" type="text/css" />' . "\n");

24)     }
25)     if ($path) {
26)         $module = $path;
27)     }
28)     $theme = config('theme');

29)     if (!$theme) {

30)         $theme = 'default';
31)     }
32)     $theme_path = "themes/$theme/";

33)     $candidates = [];

34)     if ($page) {
35)         $candidates[] = "{$theme_path}page-$module-$page.tpl.php";
36)     }
37)     $candidates[] = "{$theme_path}page-$module.tpl.php";
38)     $candidates[] = "{$theme_path}page.tpl.php";
39)     if ($page) {
40)         $candidates[] = "modules/{$module}/theme/page-$page.tpl.php";
41)     }
42)     $candidates[] = "modules/{$module}/theme/page.tpl.php";
43)     if ($page) {
44)         $candidates[] = "themes/default/page-$module-$page.tpl.php";
45)     }
46)     $candidates[] = "themes/default/page-$module.tpl.php";
47)     $candidates[] = "themes/default/page.tpl.php";

48) 

49)     $theme_file = null;
50)     foreach ($candidates as $c) {
51)         if (file_exists($c)) {
52)             $theme_file = $c;
53)             break;
54)         }
55)     }

56)     if (!file_exists($theme_file)) {

57)         die("cannot get any theme file");
58)     }

59) 

60)     include('inc/top.php');
61)     if (!isset($title)) {
62)         $title = '';
63)     }
64)     if (!isset($headline)) {
65)         $headline = $title;
66)     }
67)     $content = $output;

68) 

69)     include($theme_file);