src/load_prefs.php

   1 <?
   2    include("../config/config.php");
   3    include("../functions/prefs.php");
   4
   5    $chosen_theme = getPref($data_dir, $username, "chosen_theme");
   6
   7    if (isset($chosen_theme)) {
   8       require("$chosen_theme");
   9    } else {
  10       require($theme[0]["PATH"]);
  11    }
  12 ?>