Upgrade to install the HTML export plugin, and LEAP export/import plugins.

htdocs/lib/db/upgrade.php

@@ -1038,6 +1038,18 @@ function xmldb_core_upgrade($oldversion=0) {
         create_table($table);
     }
 
+    if ($oldversion < 2009050700) {
+        if ($data = check_upgrades('export.html')) {
+            upgrade_plugin($data);
+        }
+        if ($data = check_upgrades('export.leap')) {
+            upgrade_plugin($data);
+        }
+        if ($data = check_upgrades('import.leap')) {
+            upgrade_plugin($data);
+        }
+    }
+
     return $status;
 
 }

htdocs/lib/version.php

@@ -27,7 +27,7 @@
 defined('INTERNAL') || die();
 
 $config = new StdClass;
-$config->version = 2009042701;
+$config->version = 2009050700;
 $config->release = '1.2.0alpha2dev';
 $config->minupgradefrom = 2008040200;
 $config->minupgraderelease = '1.0.0 (release tag 1.0.0_RELEASE)';