| @@ -5,9 +5,8 @@ | ||
| 5 | 5 | $options_manager = get_responsive_menu_service('option_manager'); |
| 6 | 6 | $plugin_data = get_file_data(dirname(__FILE__) . '/responsive-menu.php', ['version']); |
| 7 | 7 | $new_version = $plugin_data[0]; |
| 8 | 8 | |
| 9 | - // TODO: Remove and just use new version number in April 2018 | |
| 10 | 9 | $old_version = get_option('responsive_menu_version') ? get_option('responsive_menu_version') : get_option('RMVer'); |
| 11 | 10 | |
| 12 | 11 | $migration = new ResponsiveMenu\Database\Migration( |
| 13 | 12 | $options_manager, |
| @@ -22,9 +21,9 @@ | ||
| 22 | 21 | maybe_create_table( |
| 23 | 22 | $wpdb->prefix . 'responsive_menu', |
| 24 | 23 | "CREATE TABLE " . $wpdb->prefix . "responsive_menu ( |
| 25 | 24 | name varchar(50) NOT NULL, |
| 26 | - value varchar(5000) DEFAULT NULL, | |
| 25 | + value LONGTEXT DEFAULT NULL, | |
| 27 | 26 | PRIMARY KEY (name) |
| 28 | 27 | ) " . $wpdb->get_charset_collate() . ";" |
| 29 | 28 | ); |
| 30 | 29 | } |