Merge pull request #306 from WoltLab/php-ddl-index-name
authorTim Düsterhus <duesterhus@woltlab.com>
Wed, 5 Oct 2022 11:35:39 +0000 (13:35 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Oct 2022 11:35:39 +0000 (13:35 +0200)
commit4f27948b4a26f30ce71e7fbf455862d7b607d99e
treef04f0c1c3513906c3efd8a82d27734d0a68f1901
parent2494c815367ba054a38035196eb51f3c7b7fb2b5
parent544ff323e3e55c0f2c9da33e08d7427b61c61c7d
Merge pull request #306 from WoltLab/php-ddl-index-name

Explain that PHP DDL expects an explicit index name