Add oldextension field to artefact_file_files table

htdocs/artefact/file/db/install.xml

@@ -9,6 +9,7 @@
             <FIELD NAME="artefact" TYPE="int" LENGTH="10" NOTNULL="true" />
             <FIELD NAME="size" TYPE="int" LENGTH="10" NOTNULL="false" />
             <FIELD NAME="adminfiles" TYPE="int" LENGTH="1" NOTNULL="true" />
+            <FIELD NAME="oldextension" TYPE="text" NOTNULL="false" />
         </FIELDS>
         <KEYS>
             <KEY NAME="artefactfk" TYPE="foreign" FIELDS="artefact" REFTABLE="artefact" REFFIELDS="id" />

htdocs/artefact/file/db/upgrade.php

@@ -115,6 +115,13 @@ function xmldb_artefact_file_upgrade($oldversion=0) {
         PluginArtefactFile::resync_filetype_list();
     }
 
+    if ($oldversion < 2007021400) {
+        $table = new XMLDBTable('artefact_file_files');
+        $field = new XMLDBField('oldextension');
+        $field->setAttributes(XMLDB_TYPE_TEXT);
+        add_field($table, $field);
+    }
+
     return $status;
 }
 

htdocs/artefact/file/version.php

@@ -27,7 +27,7 @@
 defined('INTERNAL') || die();
 
 $config = new StdClass;
-$config->version = 2007013100;
+$config->version = 2007021400;
 $config->release = '0.3';
 
 ?>