<?php
  include 'db.inc';

  if (! isset($PREFS)) {
    $result = $db->query("SELECT key, value FROM prefs");
    while ($row = $result->fetch(PDO::FETCH_ASSOC)) {
      $PREFS[$row['key']] = $row['value'];
    }
  }  
?>