added interface + theme options for the end user

cfoe

2012-07-18 4eb8d2a054e69aba568d5435fd1420b5a9367207

 interface/lib/classes/db_mysql.inc.php

@@ -98,6 +98,7 @@
  public function query($queryString) {
    $this->queryId = parent::query($queryString);
    $this->updateError('DB::query('.$queryString.') -> mysqli_query');
    if($this->errorNumber) debug_print_backtrace();
    if(!$this->queryId) {
      return false;
    }