diff options
| -rw-r--r-- | utils/config.php | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/utils/config.php b/utils/config.php deleted file mode 100644 index 8bdbd15..0000000 --- a/utils/config.php +++ /dev/null @@ -1,21 +0,0 @@ -<?php -/* -*- Mode: php; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ - -function config($var) -{ - global $TITLE, $PRELOAD, $DEFAULT_PAGE, $MENU; - switch($var) { - case 'title': - return $TITLE; - case 'preload': - return $PRELOAD; - case 'default': - return $DEFAULT_PAGE; - case 'menu': - return $MENU; - default: - return $var; - } -} - -?>
\ No newline at end of file |