Fix which index object is used when dropping indices with PHP API
authorMatthias Schmidt <gravatronics@live.com>
Fri, 29 Jan 2021 15:22:50 +0000 (16:22 +0100)
committerMatthias Schmidt <gravatronics@live.com>
Fri, 29 Jan 2021 15:22:50 +0000 (16:22 +0100)
commita9e05ee0574146ebf249c8a2b859c4744d3a6d6a
tree8f6aa0d8338b8c3e1706efac6983a6860d031933
parent396b4a20f80dc37a433f011ce32d7d5016f074b4
Fix which index object is used when dropping indices with PHP API

Only `$matchingExistingIndex` is guaranteed to have the correct index name.
wcfsetup/install/files/lib/system/database/table/DatabaseTableChangeProcessor.class.php