webinterface.git

inc/jquery.php      1) <?php
inc/jquery.php      2) /*
inc/jquery.php      3) This file belongs to the Webinterface of schokokeks.org Hosting
inc/jquery.php      4) 

inc/jquery.php      5) Written by schokokeks.org Hosting, namely

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

inc/jquery.php      9) This code is published under a 0BSD license.

inc/jquery.php     10) 
inc/jquery.php     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.
inc/jquery.php     12) */
inc/jquery.php     13) 
inc/jquery.php     14) require_once('inc/base.php');
inc/jquery.php     15) 

inc/javascript.php 16) if (!defined('__JAVASCRIPT_INCLUDED')) {

inc/javascript.php 17)     define('__JAVASCRIPT_INCLUDED', '1');

inc/jquery.php     18)     global $prefix;
inc/jquery.php     19)     html_header('

inc/javascript.php 20) <script type="text/javascript" src="' . $prefix . 'js/common.js" ></script>

inc/jquery.php     21) ');

inc/jquery.php     22) }
inc/jquery.php     23) 

inc/jquery.php     24) function javascript($file = null, $module = null)
inc/jquery.php     25) {
inc/jquery.php     26)     global $go, $prefix;

inc/jquery.php     27)     [$mod, $page] = explode('/', $go, 2);

inc/javascript.php 28)     if (!$file) {

inc/javascript.php 29)         $file = $page . '.js';

inc/jquery.php     30)     }

inc/javascript.php 31)     if (!$module) {

inc/jquery.php     32)         $module = $mod;
inc/jquery.php     33)     }

inc/javascript.php 34)     if (file_exists('modules/' . $module . '/' . $file)) {

inc/jquery.php     35)         html_header('

inc/javascript.php 36) <script type="text/javascript" src="' . $prefix . 'modules/' . $module . '/' . $file . '"></script>

inc/jquery.php     37) ');

inc/jquery.php     38)     } else {

inc/javascript.php 39)         DEBUG('Missing JS file: ' . 'modules/' . $module . '/' . $file);

inc/jquery.php     40)         warning('Interner Fehler: Dieses Modul wollte JavaScript laden, das hat aber nicht geklappt.');
inc/jquery.php     41)     }