New scale table for PostgreSQL

diff --git a/lib/db/postgres7.php b/lib/db/postgres7.php
index e4749cfe20e38531b44ca385e95c530ddde016a3..b648d27b1ec657d841b5839b7452987fe409bf74 100644 (file)
--- a/lib/db/postgres7.php
+++ b/lib/db/postgres7.php
@@ -208,6 +208,18 @@ function main_upgrade($oldversion=0) {
         }
     }
 
+    if ($oldversion < 2003081502) {
+        execute_sql(" CREATE TABLE {$CFG->prefix}scale (
+                         id SERIAL PRIMARY KEY,
+                         courseid integer NOT NULL default '0',
+                         userid integer NOT NULL default '0',
+                         name varchar(255) NOT NULL default '',
+                         scale text,
+                         description text,
+                         timemodified integer NOT NULL default '0'
+                      )");
+    }
+
 
     return $result;
 }

diff --git a/lib/db/postgres7.sql b/lib/db/postgres7.sql
index 09abc3efaa8343167598658802dd1d108bbe6c85..466717a324098492688a9a1bb5041449d8395e2f 100644 (file)
--- a/lib/db/postgres7.sql
+++ b/lib/db/postgres7.sql
@@ -103,6 +103,16 @@ CREATE TABLE prefix_modules (
    visible integer NOT NULL default '1'
 );
 
+CREATE TABLE prefix_scale (
+   id SERIAL PRIMARY KEY,
+   courseid integer NOT NULL default '0',
+   userid integer NOT NULL default '0',
+   name varchar(255) NOT NULL default '',
+   scale text,
+   description text,
+   timemodified integer NOT NULL default '0'
+);
+
 CREATE TABLE prefix_user (
    id SERIAL PRIMARY KEY,
    confirmed integer NOT NULL default '0',

diff --git a/version.php b/version.php
index 5af5c1720347a111280b2aca2c599a8a5783b7a4..d4d3a36d604695490b16106bf092259497d4c15e 100644 (file)
--- a/version.php
+++ b/version.php
@@ -5,7 +5,7 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2003081501;   // The current version is a date (YYYYMMDDXX)
+$version = 2003081502;   // The current version is a date (YYYYMMDDXX)
 
 $release = "1.1 development";  // User-friendly version number