UOJConfig.php 452 B

12345678910111213141516
  1. <?php
  2. class UOJConfig {
  3. public static $data;
  4. public static function mergeConfig($extra) {
  5. mergeConfig(self::$data, $extra);
  6. }
  7. }
  8. if (is_file($_SERVER['DOCUMENT_ROOT'].'/app/.config.php')) {
  9. UOJConfig::$data = include $_SERVER['DOCUMENT_ROOT'].'/app/.config.php';
  10. UOJConfig::mergeConfig(include $_SERVER['DOCUMENT_ROOT'].'/app/.default-config.php');
  11. } else {
  12. UOJConfig::$data = include $_SERVER['DOCUMENT_ROOT'].'/app/.default-config.php';
  13. }