1 files changed, 0 insertions, 18 deletions
diff --git a/db/update.d/13_User.php b/db/update.d/13_User.php
deleted file mode 100644
index f4da5692..00000000
--- a/db/update.d/13_User.php
+++ /dev/null
@@ -1,18 +0,0 @@
-<?php
-_datetime_to_int("User", "lastLogin");
-
-if(sql_num_query("DESCRIBE `User` `ical_key`") === 0) {
-    sql_query("ALTER TABLE `User` ADD `ical_key` VARCHAR( 32 ) NOT NULL");
-#    _add_index("User", array("ical_key"), "UNIQUE");
-# XXX: not everybody has an ical_key, why?
-
-    $applied = true;
-}
-
-$res = sql_select("DESCRIBE `User` `DECT`");
-if($res[0]['Type'] == 'varchar(4)') {
-    sql_query("ALTER TABLE `User` CHANGE `DECT` `DECT` VARCHAR(5) NULL");
-
-    $applied = true;
-}
-?>