Merge pull request #5190 from WoltLab/php-ddl-foreign-key-drop
authorTim Düsterhus <duesterhus@woltlab.com>
Thu, 15 Dec 2022 14:03:05 +0000 (15:03 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Dec 2022 14:03:05 +0000 (15:03 +0100)
Fix dropping of misnamed foreign keys in PHP DDL


Trivial merge