webinterface.git

1) <?php
2) 
3) function show_page($path = NULL) 
4) {
5)   global $go, $title, $headline, $output, $module, $page;
6)   if ($path) {
7)   	$module = $path;
8)   }
9)   $theme = config('theme');
10)   $theme_path = "themes/$theme/";
11)   $candidates = array();
12)   if ($page) {
13)     $candidates[] = "{$theme_path}page-$module-$page.tpl.php";
14)   }
15)   $candidates[] = "{$theme_path}page-$module.tpl.php";
16)   $candidates[] = "{$theme_path}page.tpl.php";
17)   if ($page) {
18)     $candidates[] = "modules/{$module}/theme/page-$page.tpl.php";
19)   }
20)   $candidates[] = "modules/{$module}/theme/page.tpl.php";
21)   if ($page) {
22)     $candidates[] = "themes/default/page-$module-$page.tpl.php";
23)   }
24)   $candidates[] = "themes/default/page-$module.tpl.php";
25)   $candidates[] = "themes/default/page.tpl.php";
26) 
27)   $theme_file = NULL;
28)   foreach ($candidates AS $c) {
29)   	if (file_exists($c)) {
30) 		$theme_file = $c;
31) 		break;
32) 	}
33)   }
34)   if (! file_exists($theme_file))
35)     die("cannot get any theme file");
36) 
37)   include('inc/top.php');
38)   if (!isset($title))
39)     $title = '';

40)   if (!isset($headline))
41)     $headline = $title;