MDL-19211 reverting to old style editor preferences, the actual code that uses the...

diff --git a/lib/db/upgrade.php b/lib/db/upgrade.php
index 30eac6e..d174a62 100644 (file)
--- a/lib/db/upgrade.php
+++ b/lib/db/upgrade.php
@@ -4710,7 +4710,7 @@ WHERE gradeitemid IS NOT NULL AND grademax IS NOT NULL");
         upgrade_main_savepoint(true, 2010070801);
     }
 
-    if ($oldversion < 2010070900) {
+    if ($oldversion < 2010071000) {
         //purge unused editor settings
         unset_config('editorbackgroundcolor');
         unset_config('editorfontfamily');
@@ -4719,7 +4719,7 @@ WHERE gradeitemid IS NOT NULL AND grademax IS NOT NULL");
         unset_config('editorhidebuttons');
         unset_config('editorfontlist');
 
-        upgrade_main_savepoint(true, 2010070900);
+        upgrade_main_savepoint(true, 2010071000);
     }
 
     return true;

diff --git a/version.php b/version.php
index a5e89e7..bde345b 100644 (file)
--- 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 = 2010070901;  // YYYYMMDD   = date of the last version bump
+    $version = 2010071000;  // YYYYMMDD   = date of the last version bump
                             //         XX = daily increments
 
     $release = '2.0 Preview 4+ (Build: 20100710)';  // Human-friendly version name