<?php
require_once('inc/base.php');
if (!defined('__JAVASCRIPT_INCLUDED')) {
define('__JAVASCRIPT_INCLUDED', '1');
global $prefix;
html_header('
<script src="' . $prefix . 'js/common.js"></script>
');
}
function javascript($file = null, $module = null)
{
global $go, $prefix;
[$mod, $page] = explode('/', $go, 2);
if (!$file) {
$file = $page . '.js';
}
if (!$module) {
$module = $mod;
}
if (file_exists('modules/' . $module . '/' . $file)) {
html_header('
<script 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.');
}
}