License
* - http://opensource.org/licenses/gpl-license.php GNU Public License
*
* @param $oldversion Number of the old version.
*/
require_once ("../../config.php");
echo "TODO: upgrade_files.php: not in use...
\n";
global $CFG, $DB, $USER;
$DB->delete_records('iassign_ilm',array('id'=>'8'));
$ilm_files = $DB->get_records('iassign_ilm');
echo "
"; print_r($ilm_files); echo ""; //foreach ($ilm_files as $ilm_file) { // //$tmp = explode (".",$ilm_file->name); // $ilm_file->file_jar=$ilm_file->name.".jar"; // echo $ilm_file->file_jar.""; // $DB->update_record('iassign_ilm', $ilm_file); // } ?>