diff --git a/lib/db/install.xml b/lib/db/install.xml index 0608cc2ed20..910cbae4a24 100644 --- a/lib/db/install.xml +++ b/lib/db/install.xml @@ -1,5 +1,5 @@ - @@ -813,7 +813,7 @@ - +
@@ -830,20 +830,7 @@
- - - - - - - - - - - - -
- +
diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php index 1918135e6ef..e68fc4dce92 100644 --- a/lib/db/upgrade.php +++ b/lib/db/upgrade.php @@ -2390,7 +2390,15 @@ function xmldb_main_upgrade($oldversion=0) { } } */ + // dropping context_rel table + if ($result && $oldversion < 2007100800) { + /// Define table context_rel to be dropped + $table = new XMLDBTable('context_rel'); + + /// Launch drop table for context_rel + $result = $result && drop_table($table); + } return $result; } diff --git a/version.php b/version.php index 7028f34cfd0..d53afb9bf74 100644 --- a/version.php +++ b/version.php @@ -6,7 +6,7 @@ // This is compared against the values stored in the database to determine // whether upgrades should be performed (see lib/db/*.php) - $version = 2007100701; // YYYYMMDD = date + $version = 2007100800; // YYYYMMDD = date // XY = increments within a single day $release = '1.9 Beta +'; // Human-friendly version name