<?php
require_once('inc/base.php');
if (! defined('__JQUERY_INCLUDED')) {
define('__JQUERY_INCLUDED', '1');
global $prefix;
html_header('
<link rel="stylesheet" href="'.$prefix.'external/jquery/ui/jquery-ui.min.css" />
<script type="text/javascript" src="'.$prefix.'external/jquery/jquery.min.js" ></script>
<script type="text/javascript" src="'.$prefix.'external/jquery/ui/jquery-ui.min.js" ></script>
');
}
function javascript($file = null, $module = null)
{
global $go, $prefix;
list($mod, $page) = explode('/', $go, 2);
if (! $file) {
$file = $page.'.js';
}
if (! $module) {
$module = $mod;
}
if (file_exists('modules/'.$module.'/'.$file)) {
html_header('
<script type="text/javascript" src="'.$prefix.'modules/'.$module.'/'.$file.'"></script>
');
} else {
DEBUG('Missing JS file: '.'modules/'.$module.'/'.$file);
warning('Interner Fehler: Dieses Modul wollte JavaScript laden, das hat aber nicht geklappt.');
}
}