src/load_prefs.php

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