Ticket #10404: 10404_make_key_case_insensitive_wp_4_1.diff
File 10404_make_key_case_insensitive_wp_4_1.diff, 1.4 KB (added by , 10 years ago) |
---|
-
src/wp-admin/includes/upgrade.php
1727 1727 case 'unique': 1728 1728 case 'key': 1729 1729 $validfield = false; 1730 $indices[] = trim(trim($fld), ", \n");1730 $indices[] = strtoupper(trim(trim($fld), ", \n")); 1731 1731 break; 1732 1732 } 1733 1733 $fld = trim($fld); … … 1825 1825 } 1826 1826 // Add the column list to the index create string. 1827 1827 $index_string .= ' ('.$index_columns.')'; 1828 if (!(($aindex = array_search($index_string, $indices)) === false)) { 1829 unset($indices[$aindex]); 1830 // todo: Remove this? 1831 //echo "<pre style=\"border:1px solid #ccc;margin-top:5px;\">{$table}:<br />Found index:".$index_string."</pre>\n"; 1832 } 1828 if (!(($aindex = array_search(strtoupper($index_string), $indices)) === false)) { 1829 unset($indices[$aindex]); 1830 // todo: Remove this? 1831 //echo "<pre style=\"border:1px solid #ccc;margin-top:5px;\">{$table}:<br />Found index:".$index_string."</pre>\n"; 1832 } 1833 } 1833 1834 // todo: Remove this? 1834 1835 //else echo "<pre style=\"border:1px solid #ccc;margin-top:5px;\">{$table}:<br /><b>Did not find index:</b>".$index_string."<br />".print_r($indices, true)."</pre>\n"; 1835 1836 }